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

• Other Authors: Bibel, W. 1938- (XXX), Jantke, K. P. (XXX)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1986
• Series: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 215
• Subjects: Ηλεκτρονικοί υπολογιστές > Λειτουργικά συστήματα