Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods…
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-17601-3
- EAN: 9783030176013
- Produktnummer: 31848755
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2019
- Seitenangabe: 237 S.
- Plattform: PDF
- Masse: 14'645 KB
- Auflage: 1st ed. 2019
- Abbildungen: 472 schwarz-weiße und 84 farbige Abbildungen, Bibliographie
- Reihenbandnummer: 11430
Über den Autor
Editors: Jonathan P. Bowen, London Southbank University, UK; Zhiming Liu, Southwest University, Chongqing, China; Zili Zhang, Southwest University, Chongqing, China
32 weitere Werke von Jonathan P. (Hrsg.) Bowen:
Museums and Digital Culture
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Ebook (PDF Format)
CHF 153.50
Formal Methods and Testing
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Ebook (PDF Format)
CHF 100.00
Provably Correct Systems
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Ebook (PDF Format)
CHF 153.50
Bewertungen
Anmelden