Ergebnisse filtern
-
- 5
-
- 1
- 1
- 1
- 2
-
- 5
-
- 2
- 3
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Bjørner / Langmaack / Hoare VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52513-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abrial / Langmaack / Börger Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61929-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Langmaack / Vytopil / Roever 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. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58468-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roever / Pnueli / Langmaack Compositionality: The Significant Difference
International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65493-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Salwicki / Kreczmar / Warpechowski LOGLAN '88 - Report on the Programming Language
1990Verlag: Springer Berlin HeidelbergISBN: 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