Real-Time Systems: Formal Specification and Automatic Verification
Olderog, Ernst-Rüdiger, Dierks, Henning
Verkauft von The Book Spot, Sioux Falls, MN, USA
AbeBooks-Verkäufer seit 5. Februar 2013
Neu - Hardcover
Zustand: New
Anzahl: 1 verfügbar
In den Warenkorb legen