Skip to content
Home
/ Products tagged “Mark R. Greenstreet (auth.)”
Mark R. Greenstreet (auth.)
Showing the single result
Default sorting
Sort by popularity
Sort by average rating
Sort by latest
Sort by price: low to high
Sort by price: high to low
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.)
$
19.99
Order now
Chat with us!
Chat with us!
WhatsApp Support
×
Hi 👋 How can we help you?
Message
Send on WhatsApp
![[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.)](https://digzon.com/wp-content/uploads/2024/04/2e9b37cdad73edaafccc5362024b36db-d.jpg)