2004
Paperback (29 Jun 2004)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004. The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.
| ISBN: | 9783540223429 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 29 Jun 2004 |
| Edition: | 2004 |
| DEWEY: | 004.24 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 536 |
| Weight: | 1700g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 28mm |
$17.32off
Paperback
Published 16 Oct 2020
Save $17.32
$8.59off
Paperback
Published 31 Aug 2023
Save $8.59
$32.19off
Paperback
Published 10 Nov 2005
Save $32.19
$1.22off
Paperback
Published 20 Jan 2022
Save $1.22
$2.13off
Hardback
Published 28 Sep 2023
Save $2.13
