Ergebnisse filtern
-
- 5
-
- 1
- 1
- 1
- 1
- 1
-
- 2
- 2
- 1
- 5
- 1
- 1
- 1
- 1
-
- 2
- 1
- 1
- 1
-
- 1
- 4
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Stefani / Najm Formal Methods for Open Object-based Distributed Systems
Volume 11996Verlag: Springer USISBN: 978-0-412-79770-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Budkowski / Cavalli / Najm Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 NovemErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-5262-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Najm / Stevens / Nestmann Formal Methods for Open Object-Based Distributed Systems
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20491-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Budkowski / Cavalli / Najm Formal Description Techniques and Protocol Specification, Testing and Verification
Forte XI/Pstv Xviii'98 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte XI) and Protocol Specification, Testing and Verification (Pstv XVIII) 3-6 November 1998, Paris,1998. Auflage 1998Verlag: Springer UsISBN: 978-0-412-84760-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Najm / Pradat-Peyre / Donzeau-Gouge Formal Techniques for Networked and Distributed Systems - FORTE 2006
26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-46219-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
