• Shop by category
  • Powered by eBay
  • Automated Technology for Verification and Analysis: Third International Symposiu

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

    • Keynote Speeches. - Model Checking. - Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. - Exploiting Hub States in Automatic Verification. - An Approach for the Verification of SystemC Designs Using AsmL.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category