Automated Theorem Proving In Software Engineering

‏259.00 ₪
+ ‏122.49 ₪ משלוח

Automated Theorem Proving In Software Engineering

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

‏259.00 ₪

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

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

אמצעי תשלום:

פרטי מוצר

פרטי מוצר

Automated Theorem Proving In Software Engineering

Growing Demands For The Quality, Safety, And Security Of Software Can Only Be Satisfied By The Rigorous Application Of Formal Methods During Software Design. This Book Methodically Investigates The Potential Of First-order Logic Automated Theorem Provers For Applications In Software Engineering. Illustrated By Complete Case Studies On Protocol Verification, Verification Of Security Protocols, And Logic-based Software Reuse, This Book Provides Techniques For Assessing The Provers Capabilities And For Selecting And Developing An Appropriate Interface Architecture.
  • מותג: Springer Nature B.V
  • קטגוריה: מחשוב ואינטרנט
  • מספר עמודים: 250
  • שָׂפָה: English
  • מְחַבֵּר: Springer Nature B.V
  • מוציא לאור / תווית: Springer Nature B.V
  • פוּרמָט: Hardcover
  • תאריך פרסום: 2001-06-20
  • מזהה Fruugo: 557238648-1125508316
  • ISBN: 9783540679899
משלוח

מְסִירָה

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

  • STANDARD: ‏122.49 ₪ - משלוח בין יום ה׳ 19 נובמבר 2026–יום ד׳ 09 דצמבר 2026

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

החזרות

החזרות

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

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