Jonathan P. (Hrsg.) Bowen
Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Ebook (PDF Format)
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
Beschreibung
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 for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
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:
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Ebook (PDF Format)
CHF 153.50
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Ebook (PDF Format)
CHF 100.00
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Ebook (PDF Format)
CHF 153.50
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.