All 1 Alastair Donaldson releases on Paperback Book
Categories
Other
Support
CAD
In stock at iMusic
Show unavailable items
![Cover for Alastair Donaldson · Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/583/9783642317583.jpg?alastair-donaldson-2012-model-checking-software-19th-international-spin-workshop-oxford-uk-july-23-24-2012-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1507989512)