Search for books and compare prices on all major online booksellers with one click!

Home

About Us

Suggest Bookstore

Recommend Us

Title/Keywords

ISBN

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, Usa, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science)

AUTHOR: Rajeev Alur (Editor), Doron A. Peled (Editor)
ISBN: 3540223428
Compare Price

	HOME--->> Computers & Internet --->>Computer Conferences --->>Computer Conferences

	Computer Conferences

Editorial Review

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, Usa, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science)
- Book Review, by Rajeev Alur (Editor), Doron A. Peled (Editor)

Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA in July 2004. The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Buy from Amazon Compare Prices

Book Review

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, Usa, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science)
- Book Reviews, by Rajeev Alur (Editor), Doron A. Peled (Editor)

Computer Aided Verification

FROM THE PUBLISHER

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA in July 2004.

The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Buy from Barnes & Noble Compare Prices