This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The papers address all current issues in formal methods and their applications in software engineering.
| ISBN: | 9783540474609 |
| Publication date: | 24th October 2006 |
| Author: | International Conference on Formal Engineering Methods, Zhiming Liu, Jifeng He |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 778 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 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. 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
Formal Methods and Software Engineering is available in Paperback
Formal Methods and Software Engineering was written by International Conference on Formal Engineering Methods, Zhiming Liu, Jifeng He and published by Springer an imprint of Springer Berlin Heidelberg
Formal Methods and Software Engineering has 778 pages
Yes it is part of Lecture Notes in Computer Science series