Logic and Algebra of Specification: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Markoberdorf, ... 4, 1991 (Nato ASI Subseries F: (94), Band 94)

Specification

von: Friedrich L. Bauer · Wilfried Brauer · Helmut Schwichtenberg

Gebunden

ISBN-13: 978-3-540-55813-2

ISBN-10: 3-540-55813-6

Springer · 1993