Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
(0)    
المرتبة: 943,223
تاريخ النشر: 02/05/2001
الناشر: Springer
ترجمة: Matthew Dwyer
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 332
مجلدات: 1
ردمك: 9783540421245