Real-Time Systems: Formal Specification And Automatic Verification
Olderog, Ernst-Rüdiger; Dierks, Henning
Verkauft von Romtrade Corp., STERLING HEIGHTS, MI, USA
AbeBooks-Verkäufer seit 17. April 2013
Neu - Hardcover
Zustand: New
Anzahl: 1 verfügbar
In den Warenkorb legen