Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

-15% su kodu: ENG15
152,58 
Įprasta kaina: 179,50 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
152,58 
Įprasta kaina: 179,50 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 179.5000 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Informacija

Autorius: Chuchu Fan
Leidėjas: Association for Computing Machinery
Išleidimo metai: 2024
Knygos puslapių skaičius: 184
ISBN-13: 9798400708657
Formatas: 241 x 196 x 15 mm. Knyga kietu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications“

Būtina įvertinti prekę

Goodreads reviews for „Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications“