from 2 Hours* Last Christmas
delivery dates Free UK Standard Delivery On all orders over £25 Order in time for Christmas 19th December 2nd Class |
21st December by 3pm 1st Class Free Click & Collect to shops From 2 hours after you order*
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2725 (Paperback)Warren A. Hunt, Jr. (editor), Fabio Somenzi (editor)
- We can order this from the publisher
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 462
Weight: 1470 g
Dimensions: 233 x 155 x 24 mm
Edition: 2003 ed.
You may also be interested in...
Would you like to proceed to the App store to download the Waterstones App?