Chuchu Fan | Formal Methods for Safe Autonomy | Taschenbuch | Englisch (2024)
78,95 €
Titel: Formal Methods for Safe Autonomy | Zusatz: Data-driven Verification, Synthesis, and Applications | Medium: Taschenbuch | Autor: Chuchu Fan | Einband: Kartoniert / Broschiert | Inhalt: Einband - flex.(Paperback) | Sprache: Englisch | Seiten: 184 | Maße: 235 x 191 x 10 mm | Erschienen: 22.10.2024 | Anbieter: Faboplay.
Jetzt bei Ebay:
