All 2 Kenneth Mcmillan releases on Paperback Book an... Book
Categories
Other
Support
NZD
In stock at iMusic
Show unavailable items
![Cover for Kenneth Mcmillan · Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/127/9783642540127.jpg?kenneth-mcmillan-2014-verification-model-checking-and-abstract-interpretation-15th-international-conference-vmcai-2014-san-diego-ca-usa-january-19-21-2014-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1552776849)
