Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 4
- 1
- 1
- 1
- 1
- 1
- 2
-
- 1
- 1
- 1
- 1
-
- 1
- 3
-
- 4
-
- 4
-
- 4
Gregor von Bochmann
-
Ural / Probert / von Bochmann Testing of Communicating Systems
Tools and Techniques. Ifip Tc6/Wg6.1 13th International Conference on Testing of Communicating Systems (Testcom 2000), August 29-September 1, 2000, Ottawa, Canada2000. Auflage 2000Verlag: SpringerISBN: 978-0-7923-7921-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ural / von Bochmann / Probert Testing of Communicating Systems
Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29¿September 1, 2000, Ottawa, CanadaSoftcover Nachdruck of the original 1. Auflage 2000Verlag: Springer USISBN: 978-1-4757-1016-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
von Bochmann / Dssouli / Rafiq Formal Description Techniques VIII
1996. Auflage 1996Verlag: Springer Nature SingaporeISBN: 978-0-412-73270-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Probst / Bochmann Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56496-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