This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named:
| ISBN: | 9783319336923 |
| Publication date: | 24th May 2016 |
| Author: | Erika Ábrahám |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 538 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions.
Integrated Formal Methods features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Paperback. £62.99, down from the £69.99 cover price. Not Available.
Integrated Formal Methods was written by Erika Ábrahám and published by Springer International Publishing AG
Integrated Formal Methods has 538 pages
Yes it is part of Programming and Software Engineering series
£62.99, reduced from £69.99. Not Available.