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, 2000, Pisa, Italy (IFIP Advances in Information and Communication Technology)

Bolognesi, Tommaso (Editor) / Latella, Diego (Editor)

ISBN 10: 1475752644 ISBN 13: 9781475752649
Verlag: Springer, 2013
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von Revaluation Books, Exeter, Vereinigtes Königreich

AbeBooks-Verkäufer seit 6. Januar 2003

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 297,76
EUR 14,26 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

In den Warenkorb legen