Mathematical methods in program development /

• Συγγραφή απο Οργανισμό/Αρχή: NATO Advanced Study Institute on Mathematical Methods in Program Development Marktoberdorf, Germany
• Άλλοι συγγραφείς: Schieder, Birgit (επιμελητής.), Broy, M., 1949- (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin : Springer, 1997.
• Σειρά: NATO ASI series. Computer and systems sciences 158.
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός
• Περιγραφή τεκμηρίου: "Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso
• Φυσική περιγραφή: viii, 528 σ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 354063195X