Qed At Large by Zachary Tatlock Paperback

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

Qed At Large by Zachary Tatlock Paperback

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

Qed At Large by Zachary Tatlock Paperback

  • العلامة التجارية: Unbranded
السعر: ٣١٩٫٠٠ ر.س.‏
البائع:
٣١٩٫٠٠ ر.س.‏
+ ١٢١٫٩٩ ر.س.‏ الشحن

متبقي في المخزون ١ فقط

نقبل وسائل الدفع الآتية

الوصف

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machinechecked formal proofs are now reaching an unprecedented scale comparable to large software projects which leads to new challenges in proof development and maintenance.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Zachary Tatlock
  • الطول: 194
  • تاريخ النشر: 2019-09-03
  • الناشر/ العنوان: now publishers Inc
  • هوية Fruugo: 339417594-744581621
  • ISBN: 9781680835946

التسليم والرد

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

  • STANDARD: ١٢١٫٩٩ ر.س.‏ - التسليم بين الأربعاء 15 أكتوبر 2025 – الاثنين 20 أكتوبر 2025

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

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