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: 17th International Symposium
- Item No : 157159332790
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $72.78
-
* Item Description
- This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
