Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)

Jim Woodcock; Jim Davies

ISBN 10: 0139484728 ISBN 13: 9780139484728
Verlag: Prentice Hall, 1996
Sprache: Englisch
Zustand: Gebraucht - Ausreichend Softcover

Verkauft von ThriftBooks-Dallas, Dallas, TX, USA

AbeBooks-Verkäufer seit 2. Juli 2009

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Ausreichend

Preis:
EUR 12,40
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen