Verifiable Autonomous Systems - Michael Fisher,Louise A Dennis
-40% koodiga BOOKS
Saadetis 22-28 tööpäeva jooksul
30-päevane tagastamisõigus
"This book is aimed at professionals, researchers and postgraduate students interested in techniques for assuring the behaviour of autonomous systems and how these systems may be programmed so that such assurance can be given. Several case studies are included, along with tutorials for the technologies used in those case studies"--
Kirjeldus
"This book is aimed at professionals, researchers and postgraduate students interested in techniques for assuring the behaviour of autonomous systems and how these systems may be programmed so that such assurance can be given. Several case studies are included, along with tutorials for the technologies used in those case studies"--
Lisateave
| Autor | Michael Fisher, Louise A Dennis |
|---|---|
| Kirjastaja | Cambridge University Press |
| Väljalaskeaasta | 2023 |
| Kaanetüüp | Kõvakaaneline |
| EAN | 9781108484992 |