Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands.
| ISBN: | 9783642161636 |
| Publication date: | 27th September 2010 |
| Author: | Jaco van der Pol, Michael Weber |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 263 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Computer programming / software engineering |
Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands.
Model Checking Software Theoretical Computer Science and General Issues features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters, Computer programming / software engineering
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 Jaco van der Pol, Michael Weber and published by Springer an imprint of Springer Berlin Heidelberg
Model Checking Software Theoretical Computer Science and General Issues has 263 pages
Yes it is part of Lecture Notes in Computer Science series