Automated Technology for Verification and Analysis: Third International Symposiu
67,84 €
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.
Jetzt bei Ebay:
