When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Automated Technology for Verification and Analysis: 7th International Symposium,
- Item No : 157164162330
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $72.78
-
* Item Description
- This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
