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 - 9783319249520
- Item No : 286343427646
- Condition : Brand New
- Brand : No brand Info
- Seller : books--etc
- Current Bid : US $52.64
-
* Item Description
- ISBN-13: 9783319249520, 978-3319249520. This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October?.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
