Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 2
- 2
-
- 2
- 2
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Smith The Object-Z Specification Language
2000Verlag: Springer USISBN: 978-0-7923-8684-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Smith The Object-Z Specification Language
2000Verlag: Springer USISBN: 978-1-4613-7401-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dongol / Petre / Smith Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32440-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Boiten / Derrick / Smith Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21377-2Medium: 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