Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications (ACM Books)
Fan, Chuchu
Verkäufer Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Neu - Softcover
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen