صورة الغلاف: Computer Aided Verification 1st edition 9783540677703

Computer Aided Verification

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

1st الإصدار

  • المؤلف (المؤلفون) E. Allen Emerson; A. Prasad Sistla
  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 2000
  • "ISBN-13 9783540677703"
  • شكل التنسيق المحدد

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

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

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings 1st الإصدار تمت الكتابة بواسطة E. Allen Emerson; A. Prasad Sistla وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Aided Verification هي 9783540450474, 3540450475 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540677703, 3540677704. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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