Del 9333
Del 11500 - Lecture Notes in Computer Science
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Häftad, Engelska, 2019
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
Produktinformation
- Utgivningsdatum2019-09-21
- Mått155 x 235 x 18 mm
- Vikt487 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor301
- FörlagSpringer Nature Switzerland AG
- ISBN9783030315139
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 10457
Del 9859
Del 13065
Formal Methods in Outer Space
Ezio Bartocci, Yliès Falcone, Martin Leucker, Ylies Falcone, Martin Falcone, Yliès
Häftad
779 kr
Del 12302
Composition of Embedded Systems. Scientific and Industrial Issues
Fabrice Kordon, Oleg Sokolsky
Häftad
709 kr
Emerging Directions in Embedded and Ubiquitous Computing
Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu
Häftad
2 089 kr
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Häftad
719 kr