9781475752632 - formal methods for distributed system development: forte / pstv 2000 ifip tc6 wg6.1 joint international conference on formal description techniques ... xiii) and protocol specification, testing a von tommaso bolognesi (2 Ergebnisse)

ISBN:

Mit der Detailsuche verfeinern

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Protocol Specification, Testing and V
Sprache: Englisch
Verlag: Springer, 2013
1475752636 / 9781475752632
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 54,93
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: New. In.
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 V
Bolognesi Tommaso Bolognesi
Sprache: Englisch
Verlag: Springer Nature B.V. Mai 2013, 2013
1475752636 / 9781475752632
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 77,07
EUR 62,99 Versand
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware.