Qed At Large by Zachary Tatlock Paperback

‏279.00 ₪
+ ‏74.49 ₪ משלוח

Qed At Large by Zachary Tatlock Paperback

  • מותג: Unbranded
  • product image

Qed At Large by Zachary Tatlock Paperback

  • מותג: Unbranded
מחיר: ‏279.00 ₪
נמכר על ידי:
‏279.00 ₪
+ ‏74.49 ₪ משלוח

רק 1 נותרו במלאי

אנו מקבלים את אמצעי התשלום הבאים

תיאור

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
  • קטגוריה: מחשוב ואינטרנט
  • מֶשֶׁך: 194
  • שָׂפָה: English
  • מְחַבֵּר: Zachary Tatlock
  • מוציא לאור / תווית: now publishers Inc
  • פוּרמָט: Paperback
  • תאריך פרסום: 2019-09-03
  • מזהה Fruugo: 339417594-744581621
  • ISBN: 9781680835946

משלוחים והחזרות

שילוח תוך 24 שעות

  • STANDARD: ‏74.49 ₪ - משלוח בין יום ג׳ 14 אוקטובר 2025–יום ב׳ 20 אוקטובר 2025

משלוח מ- בריטניה.

אנו עושים כמיטב יכולתנו להבטיח שהמוצרים שאתם מזמינים יישלחו אליכם במלואם ובהתאם למפרט שלכם. עם זאת, אם תקבלו הזמנה חלקית, או פריטים שונים מאלו שהזמנתם, או שיש סיבה אחרת לכך שאינכם מרוצים מההזמנה, באפשרותכם להחזיר את ההזמנה, או כל אחד מהמוצרים הכלולים בהזמנה, ולקבל החזר מלא עבור הפריטים. הצג מדיניות ההחזרים המלאה