The Correctness-by-construction Approach To Programming

‏524.00 ₪
+ ‏122.99 ₪ משלוח

The Correctness-by-construction Approach To Programming

נמכר על ידי:
  • product image

‏524.00 ₪

במלאי
+ ‏122.99 ₪ משלוח

מדיניות החזרות ל-14 יום

אמצעי תשלום:

פרטי מוצר

פרטי מוצר

The Correctness-by-construction Approach To Programming

The Focus Of This Book Is On Bridging The Gap Between Two Extreme Methods For Developing Software. On The One Hand, There Are Texts And Approaches That Are So Formal That They Scare Off All But The Most Dedicated Theoretical Computer Scientists. On The Other, There Are Some Who Believe That Any Measure Of Formality Is A Waste Of Time, Resulting In Software That Is Developed By Following Gut Feelings And Intuitions.kourie And Watson Advocate An Approach Known As Correctness-by-construction, A Technique To Derive Algorithms That Relies On Formal Theory, But That Requires Such Theory To Be Deployed In A Very Systematic And Pragmatic Way.
  • מותג: Springer Nature B.V
  • קטגוריה: מחשוב ואינטרנט
  • מספר עמודים: 280
  • שָׂפָה: English
  • מְחַבֵּר: Derrick G. Kourie
  • מוציא לאור / תווית: Springer Nature B.V
  • פוּרמָט: Hardcover
  • תאריך פרסום: 2012-04-12
  • מזהה Fruugo: 557249032-1125518896
  • ISBN: 9783642279188
משלוח

מְסִירָה

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

  • STANDARD: ‏122.99 ₪ - משלוח בין יום ד׳ 18 נובמבר 2026–יום ג׳ 08 דצמבר 2026

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

החזרות

החזרות

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

הצג מדיניות ההחזרים המלאה