Model Checking Software Theoretical Computer Science and General Issues by Corina S Pasareanu
| ISBN: | 9783642026515 |
| Publication date: | 19th June 2009 |
| Author: | Corina S Pasareanu |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 297 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
Model Checking Software Theoretical Computer Science and General Issues by Corina S Pasareanu
Model Checking Software Theoretical Computer Science and General Issues features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Model Checking Software Theoretical Computer Science and General Issues is available in Paperback
Model Checking Software Theoretical Computer Science and General Issues was written by Corina S Pasareanu and published by Springer an imprint of Springer Berlin Heidelberg
Model Checking Software Theoretical Computer Science and General Issues has 297 pages
Yes it is part of Lecture Notes in Computer Science series