• Shop by category
  • Powered by eBay
  • Verification, Model Checking, and Abstract Interpretation: 17th International Co

    • Item No : 136171691070
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.71
    • * Item Description

    • Abstract Interpretation. - Dynamic and Static Verification. - Probabilistic Systems. - Concurrent Programs. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selectedfrom 67 submissions.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category