Automated Technology for Verification and Analysis: 6th International Symposium,
68,50 €
Invited Talks. - Formal Verification and Biology. - Trust and Automation in Verification Tools. - Model Checking. - CTL Model-Checking with Graded Quantifiers. - Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.
Jetzt bei Ebay:
