Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
| ISBN: | 9783540281955 |
| Publication date: | 9th August 2005 |
| Author: | Patrick Godefroid |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 292 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
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 Patrick Godefroid and published by Springer an imprint of Springer Berlin Heidelberg
Model Checking Software Theoretical Computer Science and General Issues has 292 pages
Yes it is part of Lecture Notes in Computer Science series