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

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

    • ISBN-13: 9783642279393, 978-3642279393. This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category