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