Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta

ISBN 10: 0133288072 ISBN 13: 9780133288070
Verlag: Prentice Hall, 1982
Sprache: Englisch
Zustand: Gebraucht - Ausreichend Hardcover

Verkauft von BookHolders, Towson, MD, USA

AbeBooks-Verkäufer seit 19. Juni 2001

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Zustand: Gebraucht - Ausreichend

Preis: EUR 6,88 Währung umrechnen
EUR 32,02 für den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen