Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 4
- 1
- 2
- 1
- 2
-
- 1
- 3
-
- 4
-
- 4
-
- 4
-
- 4
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,2000Verlag: Springer USISBN: 978-0-7923-7968-3Medium: 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,Softcover Nachdruck of the original 1. Auflage 2000Verlag: Springer USISBN: 978-1-4757-5264-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bolognesi / Vissers / van de Lagemaat LOTOSphere: Software Development with LOTOS
Softcover Nachdruck of the original 1. Auflage 1995Verlag: Springer USISBN: 978-1-4613-5924-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bolognesi / van de Lagemaat / Vissers Lotosphere: Software Development with Lotos
1995. Auflage 1995Verlag: Springer UsISBN: 978-0-7923-9529-4Medium: Buch160,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
