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

٢٬١٤٩٫٠٠ E£
+ ١٬٣١٥٫٩٩ E£ الشحن

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

البائع:
  • product image

٢٬١٤٩٫٠٠ E£

في المخزون
+ ١٬٣١٥٫٩٩ E£ الشحن

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

طرق الدفع:

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

الوصف

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: ١٬٣١٥٫٩٩ E£ - التسليم بين الخميس 13 أغسطس 2026 – الأربعاء 19 أغسطس 2026

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

الإرجاع

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

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