Verification, Model Checking, and Abstract Interpretation by VMCAI 2007, Byron Cook, Andreas Podelski
| ISBN: | 9783540697350 |
| Publication date: | 3rd January 2007 |
| Author: | VMCAI 2007, Byron Cook, Andreas Podelski |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 394 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
Verification, Model Checking, and Abstract Interpretation by VMCAI 2007, Byron Cook, Andreas Podelski
Verification, Model Checking, and Abstract Interpretation features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Verification, Model Checking, and Abstract Interpretation was written by VMCAI 2007, Byron Cook, Andreas Podelski and published by Springer an imprint of Springer Berlin Heidelberg
Verification, Model Checking, and Abstract Interpretation has 394 pages
Yes it is part of Lecture Notes in Computer Science series
£40.49, reduced from £44.99. Not Available.