This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections:
| ISBN: | 9783319101804 |
| Publication date: | 15th September 2014 |
| Author: | International Conference on Integrated Formal Methods |
| Publisher: | Springer an imprint of Springer International Publishing |
| Format: | Paperback |
| Pagination: | 390 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions.
Integrated Formal Methods features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Paperback. Not Available.
Integrated Formal Methods was written by International Conference on Integrated Formal Methods and published by Springer an imprint of Springer International Publishing
Integrated Formal Methods has 390 pages
Yes it is part of Lecture Notes in Computer Science series