Verification of Sequential and Concurrent Programs

Buch 14 von 16: Monographs in Computer Science

Apt, Krzysztof R.; Olderog, Ernst-Rudinger

ISBN 10: 0387975322 ISBN 13: 9780387975320
Verlag: Springer-Verlag, New York, 1991
Sprache: Englisch
Zustand: Gebraucht - Gut Hardcover

Verkauft von Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA

Verbandsmitglied:

AbeBooks-Verkäufer seit 13. Dezember 2017

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 43,69
EUR 1,65 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen