Automated Technology for Verification and Analysis: 6th International Symposium,
69,60 €
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:
