Model Checking Software 20th International Symposium Spin 2013 Stony Brook

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

Model Checking Software 20th International Symposium Spin 2013 Stony Brook

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

‏259.00 ₪

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

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

אמצעי תשלום:

פרטי מוצר

פרטי מוצר

Model Checking Software 20th International Symposium Spin 2013 Stony Brook

This Book Constitutes The Refereed Proceedings Of The 20th International Symposium On Model Checking Software, Spin 2013, Held In Stony Brook, Ny, Usa, In July 2013. The 18 Regular Papers, 2 Tool Demonstration Papers, And 2 Invited Papers Were Carefully Reviewed And Selected From 40 Submissions. The Traditional Focus Of Spin Has Been On Explicit-state Model Checking Techniques, As Implemented In Spin And Other Related Tools.
  • מותג: Springer Nature B.V
  • קטגוריה: מחשוב ואינטרנט
  • מספר עמודים: 388
  • שָׂפָה: English
  • מְחַבֵּר: Springer Nature B.V
  • מוציא לאור / תווית: Springer Nature B.V
  • פוּרמָט: Paperback
  • תאריך פרסום: 2013-07-19
  • מזהה Fruugo: 557240781-1125510483
  • ISBN: 9783642391750
משלוח

מְסִירָה

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

  • STANDARD: ‏121.99 ₪ - משלוח בין יום ד׳ 25 נובמבר 2026–יום ג׳ 15 דצמבר 2026

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

החזרות

החזרות

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

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