Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testin…
Mehr
CHF 65.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Liu, Zhiming (Hrsg.) / Zhang, Zili (Hrsg.)
- ISBN: 978-3-319-56841-6
- EAN: 9783319568416
- Produktnummer: 33364570
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2017
- Seitenangabe: 259 S.
- Plattform: PDF
- Masse: 12'679 KB
- Abbildungen: 64 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 10215
Ü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:
Bewertungen
Anmelden