Logic and algebra of specification /

Bibliographic Details
Corporate Author:	NATO Advanced Study Institute on Logic and Algebra of Specification Marktoberdorf, Germany
Other Authors:	Bauer, Friedrich Ludwig, 1924-, Brauer, Wilfried, Schwichtenberg, Helmut, 1942-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993]
Series:	NATO ASI series. Computer and systems sciences ; no. 94.
Subjects:	Computer science > Mathematics. Logic, Symbolic and mathematical.

Remote Storage