Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April ... Notes in Computer Science, 215, Band 215)
Ein Fachband, der die Vorträge der Internationalen Frühlingsschule Wendisch‑Rietz 1985 zusammenfasst und neue mathematische Modelle für die Spezi ...