Cover Image

Logic and algebra of specification /

Show other versions (1)
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.
Description
Item Description:"Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23-August 4, 1991"--Title page verso.
"Published in cooperation with NATO Scientific Affairs Division."
Physical Description:442 pages ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:0387558136 (U.S. : alk. paper)