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 ...

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540164448
MPN
Springer Berlin Heidelberg 6891018

Eigenschaften

Menü