Books > Computing & IT > General theory of computing
|
Buy Now
Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Paperback, 2007 ed.)
Loot Price: R1,648
Discovery Miles 16 480
|
|
Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Paperback, 2007 ed.)
Series: Theoretical Computer Science and General Issues, 4590
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|