Publisher's Synopsis
Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
Computer Aided Verification Theoretical Computer Science and General Issues 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings - Lecture Notes in Computer Science
2010 edition
Paperback (30 Jun 2010)
- $156.82
Includes delivery to the United States
3 copies available online - Usually dispatched within 7 days
Check stock
Book information
| ISBN: | 9783642142949 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 30 Jun 2010 |
| Edition: | 2010 edition |
| Language: | English |
| Number of pages: | 676 |
| Weight: | 953g |
| Height: | 236mm |
| Width: | 155mm |
| Spine width: | 28mm |
We recommend
$16.30off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $16.30
RRP $68.44- $52.14
$8.57off
Mathematics for Computer Scient...
Paperback
Published 31 Aug 2023
Save $8.57
RRP $77.48- $68.91
$32.33off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $32.33
RRP $55.53- $23.20
