Ergebnisse filtern
-
- 2
-
- 1
- 1
-
- 2
- 1
- 1
-
- 2
-
- 2
-
- 2
-
- 2
-
- 2
Mathematik | Informatik
-
Kowalewski / Philippou Tools and Algorithms for the Construction and Analysis of Systems
15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00767-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kowalewski / Roveri Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15897-1Medium: 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