Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, Apri
تاريخ النشر: 01/06/1986
الناشر: Springer
ترجمة: Wolfgang Bibel
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 256
مجلدات: 1
ردمك: 9783540164449