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

١٧٩٫٠٠ ر.س.‏
+ ١١٢٫٤٩ ر.س.‏ الشحن

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

  • product image
البائع:

١٧٩٫٠٠ ر.س.‏

في المخزون
+ ١١٢٫٤٩ ر.س.‏ الشحن

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

طرق الدفع:

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

تفاصيل المنتج

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

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
  • اللغة: English
  • المؤلف: Boro Sitnikovski
  • عدد الصفحات: 152
  • تاريخ النشر: 2022-03-01
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469708892-983663804
  • ISBN: 9781484279779
التوصيل

توصيل

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

  • STANDARD: ١١٢٫٤٩ ر.س.‏ - التسليم بين الثلاثاء 15 سبتمبر 2026 – الثلاثاء 22 سبتمبر 2026

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

الإرجاع

الإرجاع

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

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