Click & Collect
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)
  • Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2725 (Paperback)
zoom

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2725 (Paperback)

(editor), (editor)
£85.50
Paperback 462 Pages / Published: 27/06/2003
  • We can order this from the publisher

UK delivery within 3-4 weeks

  • This item has been added to your basket

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
ISBN: 9783540405245
Number of pages: 462
Weight: 1470 g
Dimensions: 233 x 155 x 24 mm
Edition: 2003 ed.

You may also be interested in...

Please sign in to write a review

Your review has been submitted successfully.