Computer aided verification
5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
كتاب من تأليف: Courcoubetis, Costas ; International conference on computer-aided verification (05 ; 1993 ; Elounda, Grèce) ; نشر في: 1993
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
ix, 504 p. ill.
;24 cm
ISBN: 0387569227
الفهرس العشري
621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Logiciels
:Essais
:Actes de congrès
