Logic and algebra of specification /

• Συγγραφή απο Οργανισμό/Αρχή: NATO Advanced Study Institute on Logic and Algebra of Specification Marktoberdorf, Germany
• Άλλοι συγγραφείς: Bauer, Friedrich Ludwiq 1924- (επιμελητής.), Brauer, Wilfried (επιμελητής.), Schwichtenberg, Helmut, 1955- (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin : Springer, 1993.
• Σειρά: NATO ASI series. Computer and systems sciences 94.
• Θέματα: Λογική, Συμβολική και μαθηματική; Επιστήμη των υπολογιστών
• Περιγραφή τεκμηρίου: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23-August 4, 1991
• Φυσική περιγραφή: 442 σ. : εικ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 3540558136