Ergebnisse filtern
-
- 3
-
- 1
- 1
- 1
-
- 2
- 1
- 1
- 3
- 1
-
- 1
- 2
-
- 1
- 2
-
- 3
-
- 3
-
- 3
Mathematik | Informatik
-
Latella / Bolognesi Formal Methods for Distributed System Development
FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13,Softcover Nachdruck of the original 1. Auflage 2000Verlag: Springer USISBN: 978-1-4757-5264-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Latella / Bolognesi Formal Methods for Distributed System Development
FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13,2000Verlag: Springer USISBN: 978-0-7923-7968-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Derrick / Treharne / Gnesi Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-30728-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
