Loot.co.za: Shop online in South Africa for Books, DVDs, CDs, games, electronics, computers, office, stationery, toys, and much more

Showing 1 - 1 of 1 matches in All Departments

Computer Aided Verification - 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Paperback, 2003 ed.)

Warren A. Hunt Jr, Fabio Somenzi

R1,669 Discovery Miles 16 690

Add to cart

Ships in 10 - 15 working days

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.