Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)

Apt, Krzysztof R.; Olderog, Ernst-Rudiger

ISBN 10: 0387975322 ISBN 13: 9780387975320
Verlag: Springer Verlag, 1991
Sprache: Englisch
Zustand: Neu Hardcover

Verkauft von ALLBOOKS1, Direk, SA, Australien

AbeBooks-Verkäufer seit 13. Dezember 2023

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

Alle Artikel dieses Verkäufers anzeigen


Neu - Hardcover

Zustand: Neu

Preis: EUR 53,50 Währung umrechnen
Kostenlos für den Versand von Australien nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen