Formal Methods and Software Engineering by International Conference on Formal Engineering Methods, Zhiming Liu, Jifeng He
| 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 |