FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
تاريخ النشر: 06/04/1993
الناشر: Springer
ترجمة: James C. P. Woodcock
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 712
مجلدات: 1
ردمك: 9783540566625