logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Model Checking Software: 19th International Spin Workshop, Oxford, UK, July 23-24, 2012. Proceedings - Alastair Donaldson, David Parker
Model Checking Software: 19th International Spin Workshop, Oxford, UK, July 23-24, 2012. Proceedings
by: (author) (author)
Format: paperback
ISBN: 9783642317583 (3642317588)
Publisher: Springer, 264 pages, Paperback" />
Pages no: 264
Edition language: English
Bookstores:
Books by David Parker
Books by Alastair Donaldson
Share this Book
Need help?