- Start
- Computer Aided Verification
Computer Aided Verification
Angebote / Angebote:
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking-from foundational and methodological issues to the evaluation of major tools and systems-are addressed.
Lieferbar in ca. 20-45 Arbeitstagen