Books by Paul B. Jackson
No products found matching the selection.
-20%
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Tayssir Touili, Byron Cook, Paul B. Jackson
€170.08
€212.60
-20% with code BOOKS
In stock at our supplier