Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
1.7 hrs read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Zhiming Liu
Lun zi ben zhu yi
Lun zi ben zhu yi
Qing suan Xiao Jun de fan dong
Qing suan Xiao Jun de fan dong si xiang
Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th Birthday
Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced Lectures
Xiao Jun pi pan
Xiao Jun pi pan
Xiao Jun si xiang pi pan
Xiao Jun si xiang pi pan