• Shop by category
  • Powered by eBay
  • Verification, Model Checking, and Abstract Interpretation - 9783030112448

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

    • ISBN-13: 9783030112448, 978-3030112448. Verification, Model Checking, and Abstract Interpretation. This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2019, held in Cascais, Portugal, in January [url] 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62submissions.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category