This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named:
| ISBN: | 9783319406473 |
| Publication date: | 4th June 2016 |
| Author: | Sanjai Rayadurgam |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 396 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Compilers and interpreters Mathematical theory of computation Operating systems Computer programming / software engineering |
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.
NASA Formal Methods features in the following genres: Software Engineering, Compilers and interpreters, Mathematical theory of computation, Operating systems, Computer programming / software engineering
Paperback. £49.49, down from the £54.99 cover price. Not Available.
NASA Formal Methods was written by Sanjai Rayadurgam and published by Springer International Publishing AG
NASA Formal Methods has 396 pages
Yes it is part of Programming and Software Engineering series
£49.49, reduced from £54.99. Not Available.