• التعليم وحلول الأعمال يفتح في نافذة جديدة
صورة الغلاف: Theoretical and Practical Aspects of SPIN Model Checking 1st edition 9783540664994

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

1st الإصدار

  • المؤلف (المؤلفون) Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek
  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 1999
  • "ISBN-13 9783540664994"
  • شكل التنسيق المحدد

الكتاب الالكتروني

ترخيص eTextbook
‌
﷼‎71.17 SAR
‌
‌

  • أدوات الدراسة

    أضف أدوات دراسة مثل التمييزات وغيرها

  • القراءة بصوت مسموع

    استمع وانصت أثناء قراءة Bookshelf لك

  • الوصول دون اتصال بالإنترنت

    قم بالوصول إلى الكتاب الدراسي الإلكتروني الخاص بك في أي وقت وأي مكان.

  • بحث عام

    ابحث في محتوى الكتاب والرسومات التوضيحية وكراس التمارين.

أعرف المزيد

VitalSource أكثر من 25 عامًا من التحول الرقمي

  • 4500 المعاهد

  • أكثر من 230 البلدان والأقاليم

  • أكثر من 10 آلاف الناشرون

  • أكثر من 18 مليون المستخدمون النشطون

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st الإصدار تمت الكتابة بواسطة Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theoretical and Practical Aspects of SPIN Model Checking هي 9783540482345, 3540482342 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540664994, 3540664998. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

العودة إلى الأعلى