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

    • Item No : 365771977892
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : grandeagleretail
    • Current Bid : US $136.84
    • * Item Description

    • Program and system verification;. Verification, Model Checking, and Abstract Interpretation by Rayna Dimitrova, Ori Lahav, Sebastian Wolff. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category