Ergebnisse filtern
-
- 4
-
- 2
- 1
- 1
-
- 2
- 1
- 1
- 1
- 1
- 1
- 1
-
- 4
-
- 3
- 1
-
- 4
-
- 4
-
- 4
Dienstprogramme
-
Kropf Formal Hardware Verification
Methods and Systems in Comparison1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63475-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Brinksma Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-62790-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nagl Building Tightly Integrated Software Development Environments: The IPSEN Approach
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61985-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Brinksma / Cleaveland / Larsen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 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
