Books by Wei-Ngan Chin
No products found matching the selection.
-20%
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Ahmed Bouajjani, Wei-Ngan Chin
€85.58
€106.98
-20% with code BOOKS
In stock at our supplier