Books by Ahmed Bouajjani
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.38
€106.73
-20% with code BOOKS
In stock at our supplier