Real-Time Systems: Formal Specification and Automatic Verification
Olderog, Ernst-Rüdiger; Dierks, Henning
ISBN 10:
0521883334 ISBN 13:
9780521883337
Verlag: Cambridge University Press, 2008
Sprache: Englisch
Neu
Zustand: New
Hardcover
Verkauft von California Books, Miami, FL, USA
AbeBooks-Verkäufer seit 27. Oktober 2023
Neu - Hardcover
Zustand: New
Preis:
EUR 110,57
Währung umrechnen
EUR 8,52
für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen