FME '93, industrial-strength formal methods
proceedings / First International symposium of Formal methods Europe, Odense, Denmark, April 19-23, 1993
كتاب من تأليف: Larsen, (Peter Gorm) (1964-) ; Woodcock, Jim ; International Symposium of Formal Methods Europe (1st, Denmark ; نشر في: 1993
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
1 vol. (xi-689 p.)
;24 cm
ISBN: 0387566627
الموضوع
الإعلام الآلي
الكلمات الدالة:
Logiciels : Développement
:Actes de congrès
