Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
- Publication:
- Berlin ; New York : Springer-Verlag, c1993.
- Format/Description:
- Conference/Event
Book
442 p. ; 25 cm. - Conference Name:
- NATO Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Germany)
- Series:
- NATO ASI series. Computer and system sciences ; Series F, no. 94.
NATO ASI series. Series F, Computer and system sciences ; vol. 94 - Status/Location:
-
Loading...
Get It
Details
- Subjects:
- Computer science -- Mathematics.
Logic, Symbolic and mathematical. - Notes:
- "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."
Includes bibliographical references. - Contributor:
- Bauer, Friedrich Ludwig, 1924-
Brauer, Wilfried.
Schwichtenberg, Helmut, 1942- - ISBN:
- 0387558136 (U.S. : alk. paper)
- OCLC:
- 28150198