Franklin

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