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

Buch 14 von 16: Monographs in Computer Science

Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger; Pnueli, Amir [Foreword]

ISBN 10: 184882744X ISBN 13: 9781848827448
Verlag: Springer, 2010
Sprache: Englisch
Zustand: Neu Hardcover

Verkauft von kelseyskorner, Blaine, WA, USA

AbeBooks-Verkäufer seit 1. August 2008

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 78,68
EUR 3,81 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen