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

١٥٩٫٠٠ ر.ق.‏
+ ٩٣٫٩٩ ر.ق.‏ الشحن
  • product image

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

  • العلامة التجارية: Unbranded
البائع:

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

  • العلامة التجارية: Unbranded

١٥٩٫٠٠ ر.ق.‏

في المخزون
+ ٩٣٫٩٩ ر.ق.‏ الشحن

سياسة الإرجاع لمدة 14 يوما

البائع:

١٥٩٫٠٠ ر.ق.‏

في المخزون
+ ٩٣٫٩٩ ر.ق.‏ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

الوصف

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.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: en
  • المؤلف: Boro Sitnikovski
  • الطول: 152
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 492009288-1015637202
  • ISBN: 9781484279779

توصيل

يُرسل خلال 24 ساعة

  • STANDARD: ٩٣٫٩٩ ر.ق.‏ - التسليم بين الاثنين 13 يوليو 2026 – الجمعة 17 يوليو 2026

يُشحن من المملكة المتحدة.

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة