Verifying Cyber-Physical Systems
A Path to Safe Autonomy
Inbunden, Engelska, 2021
Av Sayan Mitra
1 349 kr
Slutsåld
Produktinformation
- Utgivningsdatum2021-02-16
- Mått178 x 229 x 25 mm
- Vikt636 g
- FormatInbunden
- SpråkEngelska
- SerieCyber Physical Systems Series
- Antal sidor304
- FörlagMIT Press Ltd
- ISBN9780262044806
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Model Checking
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, Helmut (Technische Universitaet Darmstadt) Veith, Edmund M. Clarke
1 079 kr
- Nyhet
Del 6
- Nyhet
Del 1
- Nyhet