Real-Time Systems: Formal Specification and Automatic Verification
Olderog, Ernst-Rüdiger; Dierks, Henning
Verkauft von Ria Christie Collections, Uxbridge, Vereinigtes Königreich
AbeBooks-Verkäufer seit 25. März 2015
Neu - Hardcover
Zustand: New
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen