This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
| ISBN: | 9783540766483 |
| Publication date: | 7th November 2007 |
| Author: | International Conference on Formal Engineering Methods, Michael Butler, Michael G Hinchey, María M LarrondoPetrie |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 386 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Computer programming / software engineering |
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
Formal Methods and Software Engineering features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters, Computer programming / software engineering
Paperback. Not Available.
Formal Methods and Software Engineering was written by International Conference on Formal Engineering Methods, Michael Butler, Michael G Hinchey, María M LarrondoPetrie and published by Springer an imprint of Springer Berlin Heidelberg
Formal Methods and Software Engineering has 386 pages
Yes it is part of Lecture Notes in Computer Science series