Ergebnisse filtern
-
- 6
- 2
-
- 1
- 1
- 1
- 1
- 1
- 2
- 1
-
- 2
- 6
-
- 1
- 4
- 3
-
- 6
- 2
-
- 8
-
- 8
-
Langmaack / Paul 1. Fachtagung über Programmiersprachen
München, 9.–11. März 19711972Verlag: SpringerISBN: 978-3-642-80718-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark38,66 € (inkl. MwSt.)
sofort verfügbar
-
Paul / Langmaack 1. Fachtagung über Programmiersprachen
München, 9.-11. März 19711. Auflage 1972Verlag: Springer Berlin HeidelbergISBN: 978-3-540-06051-2Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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
-
Roever / Langmaack / Pnueli Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised LecturesErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-49213-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
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
