Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
تاريخ النشر: 30/03/1993
الناشر: Springer
ترجمة: Gregor von Bochmann
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 444
مجلدات: 1
ردمك: 9783540564966