This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections:
| ISBN: | 9783319194578 |
| Publication date: | 27th May 2015 |
| Author: | Manuel Núñez |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 213 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Compilers and interpreters Mathematical theory of computation Software Engineering Expert systems / knowledge-based systems |
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions.
Formal Methods for Industrial Critical Systems features in the following genres: Compilers and interpreters, Mathematical theory of computation, Software Engineering, Expert systems / knowledge-based systems
Paperback. £35.99, down from the £39.99 cover price. Not Available.
Formal Methods for Industrial Critical Systems was written by Manuel Núñez and published by Springer International Publishing AG
Formal Methods for Industrial Critical Systems has 213 pages
Yes it is part of Programming and Software Engineering series
£35.99, reduced from £39.99. Not Available.