Logic and algebra of specification /

• Corporate Author: NATO Advanced Study Institute on Logic and Algebra of Specification Marktoberdorf, Germany
• Other Authors: Bauer, Friedrich Ludwiq 1924- (επιμελητής.), Brauer, Wilfried (επιμελητής.), Schwichtenberg, Helmut, 1955- (επιμελητής.)
• Format: Conference Proceeding Book
• Language: English
• Published: Berlin : Springer, 1993.
• Series: NATO ASI series. Computer and systems sciences 94.
• Subjects: Λογική, Συμβολική και μαθηματική; Επιστήμη των υπολογιστών