Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985

zbMath0591.68001MaRDI QIDQ1075043

No author found.

Publication date: 1986

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsMathematical methodsSpecificationSoftware systemsSpring schoolSynthesisWendisch-Rietz/Germany

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Hybrid process algebra

This page was built for publication: Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985