Formal Methods of Program Verification and Specification

Berg, H. K. & Boebert, W. E. & Franta, W. R. & Moher, T. G.

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

Verkauft von Reader's Corner, Inc., Raleigh, NC, USA

Heritage Bookseller
AbeBooks-Verkäufer seit 11. Januar 2000

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 - Gut

Preis:
EUR 9,61
EUR 4,66 shipping
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen