Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 1st Edition - Ebook A2
$29.99$37.49Save 20%
Description
Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.
Important Notice:
- All products sold are digital e-books delivered in PDF or EPUB format only. No physical book will be shipped.
- By completing your purchase, you acknowledge and agree that you are purchasing a digital product, and no physical item will be delivered.
- Please carefully review this information before placing your order to avoid any misunderstanding. Due to the nature of digital products, orders are generally non-refundable once the file has been delivered or accessed, except in cases of technical error.