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 | ISBN 9781475752632

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

Buchcover 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 | EAN 9781475752632 | ISBN 1-4757-5263-6 | ISBN 978-1-4757-5263-2

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

Quelle: amazon.de, abgerufen am 06.08.2025 17:43:52

ISBN-Daten

Verlag
Springer
erschienen am
22.05.2013
ISBN-10
1-4757-5263-6
Preis
85,99 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen