Ergebnisse filtern
-
- 5
- 4
-
- 1
- 2
- 2
- 2
- 1
- 1
-
- 3
- 3
- 2
- 9
- 2
- 2
- 2
- 2
-
- 3
- 1
- 1
- 4
-
- 3
- 6
-
- 9
-
- 9
-
- 9
-
Najm / Stefani Formal Methods for Open Object-based Distributed Systems
Volume 11. Auflage 1997Verlag: Springer USISBN: 978-0-387-35082-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Najm / Nestmann / Stevens Formal Methods for Open Object-Based Distributed Systems
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-39958-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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, FranceErscheinungsjahr 2013Verlag: Springer USISBN: 978-0-387-35394-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar
-
Budkowski / Najm / Cavalli 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 NovemSoftcover Nachdruck of the original 1. Auflage 1998Verlag: Springer USISBN: 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, Proceedings2006Verlag: SpringerISBN: 978-3-540-46220-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
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
