Static Analysis Programming and Software Engineering by Radhia Cousot, Matthieu Martel
| ISBN: | 9783642157684 |
| Publication date: | 9th September 2010 |
| Author: | Radhia Cousot, Matthieu Martel |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 473 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Computer programming / software engineering |