Books by Viktor Kuncak
No products found matching the selection.
-20%
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Viktor Kuncak, Andrey Rybalchenko
€85.22
€106.53
-20% with code BOOKS
In stock at our supplier