Automated Technology for Verification and Analysis: 4th International Symposium,
68,34 €
Keynote Speeches. - Analysis of Recursive Probabilistic Models. - Verification Challenges and Opportunities in the New Era of Microprocessor Design. - Automated Abstraction of Software. - Regular Papers.
Jetzt bei Ebay:
