Best-selling in Adult Learning & University
Save on Adult Learning & University
- £9.08Trending at £9.18
- £26.45Trending at £27.79
- £11.12Trending at £13.99
- £7.44Trending at £8.98
- £10.89Trending at £12.29
- £18.09Trending at £19.20
- £15.21Trending at £18.61
About this product
- DescriptionConstitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials.
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Date of Publication17/06/2008
- GenreComputing: General
- Series TitleLecture Notes in Computer Science
- Series Part/Volume Number5123
- Place of PublicationBerlin
- Country of PublicationGermany
- ImprintSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Content NoteXVII, 558 p.
- Width155 mm
- Height235 mm
- Edited byAarti Gupta,Sharad Malik
This item doesn't belong on this page.
Thanks, we'll look into this.