• Shop by category
  • Powered by eBay
  • Automated Technology for Verification and Analysis - 9783319465197

    • Item No : 314670913380
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : books--etc
    • Current Bid : US $52.64
    • * Item Description

    • ISBN-13: 9783319465197, 978-3319465197. Automated Technology for Verification and Analysis. This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category