Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
تاريخ النشر: 01/06/1994
الناشر: Springer
ترجمة: David L Dill
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 496
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783540581796