Mathematical methods of specification and synthesis of software systems '85 Proccedings. Wendisch-Rietz, GDR, April 22-26, 1985

• Άλλοι συγγραφείς: Bibel, W. 1938- (XXX), Jantke, K. P. (XXX)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag c1986
• Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 215
• Θέματα: Ηλεκτρονικοί υπολογιστές > Λειτουργικά συστήματα