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 incl
DENNIS, LOUISE A. (UNIVERSITY OF MANCHESTER),FISHER, MICHAEL (UNIVERSITY OF MANCHESTER)
Verifiable Autonomous Systems
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 incl
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9781108484992Mladinska knjiga ID
9781108484992Leto izida
2023Datum izida
08.06.2023Število strani
410Status dobavljivosti
7-10 delovnih dniZaložnik
Cambridge University PressAvtor
Dennis, Louise A. (University of Manchester),Fisher, Michael (University of Manchester)Dimenzije
158 x 236 x 28BIC
TJFM1,UL,UYF,UYQOpis
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.Pogosto kupljeno skupaj
Trda vezava
Ostali so si ogledali tudi ...
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
Naslov
Slovenska cesta 29, 1000 Ljubljana
E-naslovSpletna knjigarna: info@emka.si, Mladinska knjiga Založba: info@mladinska-knjiga.si
Kontakt01 241 30 00
Brezplačna številka080 12 05
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.