Logic and algebra of specification
By: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
Contributors: Bauer, Friedrich Ludwig, 1924-; Brauer, Wilfried.; Schwichtenberg, Helmut, 1942-
Series: NATO ASI series. Series F, Computer and system sciences ;; vol. 94; NATO ASI series.; no. 94.
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 442
Subjects: Computer science -- Mathematics; Logic, Symbolic and mathematical
Notes: Includes bibliographical references.
"Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23-August 4, 1991"--T.p. verso.
"Published in cooperation with NATO Scientific Affairs Division."