Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings 2012 Edition Contributor(s): Donaldson, Alastair (Editor), Parker, David (Editor) |
|
![]() |
ISBN: 3642317588 ISBN-13: 9783642317583 Publisher: Springer OUR PRICE: $68.40 Product Type: Paperback Published: July 2012 |
Additional Information |
BISAC Categories: - Computers | Compilers - Computers | Programming Languages - General - Computers | Software Development & Engineering - General |
Dewey: 005.1 |
Series: Lecture Notes in Computer Science / Theoretical Computer Sci |
Physical Information: 0.6" H x 6" W x 9.2" (0.95 lbs) 261 pages |