Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K - A Semantic Framework…
Mehr
CHF 68.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Liu, Zhiming (Hrsg.) / Zhang, Zili (Hrsg.)
- ISBN: 978-3-030-55089-9
- EAN: 9783030550899
- Produktnummer: 34519949
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 221 S.
- Plattform: PDF
- Masse: 9'537 KB
- Abbildungen: 233 schwarz-weiße und 9 farbige Abbildungen, Bibliographie
- Reihenbandnummer: 12154
32 weitere Werke von Jonathan P. (Hrsg.) Bowen:
Museums and Digital Culture
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Ebook (PDF Format)
CHF 153.50
Formal Methods and Testing
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Ebook (PDF Format)
CHF 100.00
Provably Correct Systems
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Ebook (PDF Format)
CHF 153.50
Bewertungen
Anmelden