32250253
9783642279393
Out of Stock
The item you're looking for is currently unavailable.
Kuncak, Viktor is the author of 'Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings', published 2012 under ISBN 9783642279393 and ISBN 3642279392.
[read more]