Computer Aided Verification (Intl Conference Proceedings 1997) SHIPS FREE

This volume is the compilation of the proceedings of the 9th International Conference on Computer Aided Verification (CAV \'97), held in Haifa, Israel, from June 22-25, 1997. It presents a collection of research papers focused on the theory and application of automated methods for verifying hardware and software systems. This landmark conference became a premier forum for advanced early research in areas such as model checking, automated theorem proving, testing, synthesis, and related fields, including both theoretical papers and industrial case studies. Overall, it gives the reader a historical perspective on the state-of-the-art in automated verification and the improvement of the reliability and correctness of complex computing systems through formal, automated methods.

SHIPS FREE

ABOUT US

We are a 501(c)3 non-profit corporation. We sell books and other items donated by our community members to raise money for our local library system. We fund services, reading programs and purchases not in their budget. Unless clearly stated, our books are NOT ex-library. Our organization has operated continuously in the same city since 1937.

PROCEEDS BENEFIT OUR LOCAL LIBRARY PROGRAMS - THANK YOU!

Please visit our store for more titles.