Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 2
- 2
-
- 1
- 3
-
- 3
- 1
-
- 4
-
- 4
- 1
Mathematik | Informatik
-
Schnieder Verkehrsleittechnik
Automatisierung des Straßen- und Schienenverkehrs2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48296-3Medium: Buch119,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schnieder / Tarnai FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems1. Auflage 2011Verlag: SpringerISBN: 978-3-642-14260-4Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tarnai / Schnieder FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems2011Verlag: SpringerISBN: 978-3-642-42716-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Damm / Desel Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23135-6Medium: 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