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
• Θέματα: Ηλεκτρονικοί υπολογιστές > Λειτουργικά συστήματα
• Περιγραφή τεκμηρίου: περιέχει βιβλιογραφικές αναφορές
• Φυσική περιγραφή: 245p. fig.
• ISBN: 354O164448