Ergebnisse filtern
-
- 2
-
- 1
- 1
-
- 2
- 1
- 1
- 1
-
- 2
-
- 2
-
- 2
-
- 2
-
- 2
Energietechnik | Elektrotechnik
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort