Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Apt, Krzysztof R., Olderog, Ernst-Rüdiger
ISBN 10:
0387948961 ISBN 13:
9780387948966
Verlag: Springer, 1997
Sprache: Englisch
Zustand: Gebraucht - Befriedigend
Hardcover
Verkauft von dsmbooks, Liverpool, Vereinigtes Königreich
AbeBooks-Verkäufer seit 28. September 2015
Gebraucht - Hardcover
Zustand: Gebraucht - Befriedigend
Preis:
EUR 105,63
Währung umrechnen
EUR 28,73
für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Anzahl: 1 verfügbar
In den Warenkorb legen