TY  - BOOK
A2  - NATO
ED  - Bauer, Friedrich L.
PY  - 1993
DA  - 1993//
TI  - Logic and algebra of specification: [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991]
T3  - NATO ASI series / F 94
PB  - Springer
CY  - Berlin
KW  - Algebraische Spezifikation
KW  - ComputerMathematics
KW  - Logic, Symbolic and mathematical
KW  - Computer scienceMathematics
SN  - 3540558136
LA  - English
N1  - ed. by Friedrich L. Bauer ...
ID  - 1609282019
ER  -