Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues by Radhia Cousot
| ISBN: | 9783540242970 |
| Publication date: | 13th January 2005 |
| Author: | Radhia Cousot |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 483 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues by Radhia Cousot
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues is available in Paperback
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues was written by Radhia Cousot and published by Springer an imprint of Springer Berlin Heidelberg
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues has 483 pages
Yes it is part of Lecture Notes in Computer Science series