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
121,19 
Įprasta kaina: 142,58 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
121,19 
Įprasta kaina: 142,58 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 142.5800 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: 9798400708633
Formatas: 235 x 191 x 10 mm. Knyga minkštu 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ę