Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
تاريخ النشر: 02/10/1991
الناشر: Springer
ترجمة: Edmund M Clarke
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 392
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783540544777