All categories
- SALE
In the sale you will find especially cheap items or current promotions.
- Sell instead of buy!
Want to part with books, CDs, movies or games? Sell everything on momox.com
In the sale you will find especially cheap items or current promotions.
Want to part with books, CDs, movies or games? Sell everything on momox.com
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.
© 2025 momox SE Berlin. Buy used CDs, DVDs, books, films and games cheaply and securely online.
+49 30 488 288 200
