| Autor: | Sayan Mitra |
| Lehekülgede arv: | 304 |
| Ilmumisaasta: | 2021 |
| Kauba ID: | 12231432 |
"A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"--
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.
| Kauba ID: | 12231432 |
| Kategooria: | Majandusalased raamatud |
| Tootepakendite arv: | 1 tk. |
| Paki suurus ja kaal (1): | 0,3 x 0,3 x 0,1 m, 0,2 kg |
| Kirjastus: | MIT Press Ltd |
| Raamatu keel: | Inglise keel |
| Kaane tüüp: | Pole informatsiooni |
| Vorming: | Traditsiooniline raamat |
| Tüüp: | Täpsustamata |
| Raamat väljavõttega: | Ei |
| Autor: | Sayan Mitra |
| Lehekülgede arv: | 304 |
| Ilmumisaasta: | 2021 |
Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.
-20% lisaale valikule toodetele koodiga* 20APP425. Kehtib ainult esimesele ostule äpis! 
Suvi kliki kaugusel! Kõik suvehooajaks vajalik ühest kohast. 