Mathematical methods of specification and synthesis of software systems '85
proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
كتاب من تأليف: Bibel, Wolfgang (1938-....) ; Jantke, K. P. (Klaus P.) ; نشر في: 1986
طبعة:
Berlin:
Springer
Springer
لغة:
إنجليزية
الوصف المادي:
245 p. ill.
;25 cm
ISBN: 0387164448