Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

B. Berard , M. Bidoit , A. Finkel
لا توجد تقييمات بعد
2010 · الإنجليزية · غلاف ورقي · 2 طبعات
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب

المراجعات

لا توجد مراجعات بعد

كن أول من يراجع هذا الكتاب وشارك أفكارك

تسجيل الدخول للمراجعة
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب