Ergebnisse filtern
-
- 2
- 2
-
- 1
- 1
- 2
-
- 1
- 4
- 2
- 3
- 3
- 1
- 2
- 3
-
- 2
- 1
- 1
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
Dean / Boute Teaching Formal Methods
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23611-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dean / Boute Teaching Formal Methods
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. ProceedingsErscheinungsjahr 2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30472-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Verhulst / Boute / Faria Formal Development of a Network-Centric RTOS
Software Engineering for Reliable Embedded Systems1. Auflage 2011Verlag: SpringerISBN: 978-1-4419-9736-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar -
Verhulst / Boute / Mezhuyev Formal Development of a Network-Centric RTOS
Software Engineering for Reliable Embedded Systems2011Verlag: Springer USISBN: 978-1-4899-9288-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort