Ergebnisse filtern
-
- 6
-
- 1
- 1
- 1
- 2
- 1
-
- 6
-
- 3
- 3
-
- 5
- 1
-
- 6
-
- 6
-
Langmaack / Paul 1. Fachtagung über Programmiersprachen
München, 9.-11. März 19711. Auflage 1972Verlag: SpringerISBN: 978-3-540-06051-2Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bjørner / Hoare / Langmaack VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52513-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abrial / Börger / Langmaack Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler ControlErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61929-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roever / Langmaack / Pnueli Compositionality: The Significant Difference
International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised LecturesErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65493-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Langmaack / Roever / Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58468-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kreczmar / Salwicki / Warpechowski LOGLAN '88 - Report on the Programming Language
Erscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52325-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort