42639780
9783642540141
Out of Stock
The item you're looking for is currently unavailable.
McMillan, Kenneth is the author of 'Verification, Model Checking, and Abstract Interpretation : 15th International Conference, Vmcai 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings', published 2014 under ISBN 9783642540141 and ISBN 3642540147.
[read more]