Ergebnisse filtern
-
- 5
-
- 2
- 1
- 2
-
- 5
- 1
- 1
- 1
- 1
- 1
-
- 5
-
- 2
- 3
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Alur Embedded Software
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20223-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pappas / Alur Hybrid Systems: Computation and Control
7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21259-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Henzinger / Alur Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61474-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Peled / Alur Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22342-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Alur / Sontag / Henzinger Hybrid Systems III
Verification and Control1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61155-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
