Anders P. Ravn (eds.)

Showing the single result

Order now
Engineering
[PDF] Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.)
Rated 0 out of 5
$19.99 Order now

Chat with Us

Please provide your details to start chatting: