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:
| ISBN: | 9783030550882 |
| Publication date: | 1st August 2020 |
| Author: | Jonathan P Bowen |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 221 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Operating systems Network hardware Artificial intelligence Systems analysis and design Natural language and machine translation |
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.
Engineering Trustworthy Software Systems features in the following genres: Software Engineering, Operating systems, Network hardware, Artificial intelligence, Systems analysis and design, Natural language and machine translation
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Engineering Trustworthy Software Systems was written by Jonathan P Bowen and published by Springer Nature Switzerland AG
Engineering Trustworthy Software Systems has 221 pages
Yes it is part of Programming and Software Engineering series
£40.49, reduced from £44.99. Not Available.