The Temporal Logic of Reactive and Concurrent Systems: Specification

Pnueli, Amir,Manna, Zohar

ISBN 10: 0387976647 ISBN 13: 9780387976648
Verlag: Springer, 1991
Sprache: Englisch
Gebraucht Zustand: Good Hardcover

Verkäufer HPB-Red, Dallas, TX, USA

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

AbeBooks-Verkäufer seit 11. März 2019

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Preis: EUR 54,02 Währung umrechnen
EUR 99,77 für den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen