Ergebnisse filtern
-
- 5
-
- 1
- 1
- 1
- 1
- 1
-
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
-
- 1
- 3
- 1
-
- 4
- 1
-
- 5
-
- 5
-
- 5
Interdisziplinäres
-
Steffen / Margaria Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61042-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Melham / Margaria Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gnesi / Margaria Formal Methods for Industrial Critical Systems
A Survey of Applications1. Auflage 2012Verlag: WileyISBN: 978-0-470-87618-3Medium: Buch108,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Lamprecht Process Design for Natural Scientists
An Agile Model-Driven Approach2014Verlag: SpringerISBN: 978-3-662-45005-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Brinksma / Cleaveland / Steffen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60630-7Medium: 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
