Skip to content
Home
/ Products tagged “Zhiming Liu”
Zhiming Liu
Showing all 2 results
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
Order now
Engineering
{PDF} Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings Zhou Chaochen (auth.), Zhiming Liu, Jifeng He (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)
