%0 Book
%T 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]
%E Bauer, Friedrich L.
%S NATO ASI series / F 94
%D 1993
%I Springer
%C Berlin
%@ 3540558136
%G English
%F 1609282019
%O ed. by Friedrich L. Bauer ...
%O Includes bibliographical references
%O Archivierung/Langzeitarchivierung gewährleistet PEBW XA-DE-BW pdager DE-31
%L 28
%K Algebraische Spezifikation
%K ComputerMathematics
%K Logic, Symbolic and mathematical
%K Computer scienceMathematics
%9 Text
%9 Konferenzschrift-1991-Marktoberdorf