Automated Technology for Verification and Analysis: Second International Confere
121,76 €
Keynote Speech. - Evolution of Model Checking into the EDA Industry. - Invited Speech. - Tools for Automated Verification of Web Services. - Theorem Proving Languages for Verification. - Toward Unbounded Model Checking for Region Automata.
Jetzt bei Ebay:
