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)
Der Band fasst die Vorträge der Internationalen Frühlingsschule Wendisch‑Rietz 1985 zusammen, beleuchtet theoretische Grundlagen zur Spezifikation und Synthese von Softwaresystemen und liefert praxisnahe Fallstudien aus dem damaligen DDR‑Forschungskontext.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Mathematical Methods of Specification and Synthesis of Software Systems '85
SpringerLink DE
14-08-2026 06:53:13
Ähnliche Produkte
Statistical Mechanics of Lattice Systems
53.49 EUR
Traffic Equilibrium Methods
49.98 EUR
