Computer aided verification
fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992
كتاب من تأليف: Probst, D. K. (David Karl) ; Bochmann, Gregor V. ; CAV '92 (4th, Québec ; نشر في: 1993
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
1 vol. (IX-422 p.) ill.
;24 cm
ISBN: 0387564969
الفهرس العشري
621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Débogage
Logiciels
:Essais
Commande automatique
