Introducing Software Verification With Dafny Language Proving Program Correctnes - Boro Sitnikovski - Paperback - en Book

₺1.949,00
+ ₺984,99 Kargo
  • product image

Introducing Software Verification With Dafny Language Proving Program Correctnes - Boro Sitnikovski - Paperback - en Book

  • Marka: Unbranded
Satıcı:

Introducing Software Verification With Dafny Language Proving Program Correctnes - Boro Sitnikovski - Paperback - en Book

  • Marka: Unbranded

₺1.949,00

Stokta var
+ ₺984,99 Kargo

14 Günlük İade Politikası

Satıcı:

₺1.949,00

Stokta var
+ ₺984,99 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Tanım

Introducing Software Verification With Dafny Language Proving Program Correctnes - Boro Sitnikovski - Paperback - en Book

Get Introduced To Software Verification And Proving Correctness Using The Microsoft Research-backed Programming Language, Dafny. While Some Other Books On This Topic Are Quite Mathematically Rigorous, This Book Will Use As Little Mathematical Symbols And Rigor As Possible, And Explain Every Concept Using Plain English. It's The Perfect Primer For Software Programmers And Developers With C And Other Programming Language Skills.writing Correct Software Can Be Hard, So You'll Learn The Concept Of Computation And Software Verification.
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Uzunluk: 152
  • Dil: en
  • Yazar: Boro Sitnikovski
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 492009288-1015637202
  • ISBN: 9781484279779

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺984,99 - Arasında teslimat Çar 08 Temmuz 2026–Pzt 13 Temmuz 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle