We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£84.98
Springer Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science, 3114)
Price data last checked 28 day(s) ago - will refresh soon
Price History & Forecast
Last 63 days • 63 data points (No recent data available)
Price Distribution
Price distribution over 63 days • 2 price levels
Current Price
Price Analysis
Most common price: £85 (42 days, 66.7%)
Price range: £84 - £85
Price levels: 2 different prices over 63 days
Description
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and was partially sponsored by the ACMSIGSOFT.Thecolocationre?ectstheincreasingsynergybetweenresearch on veri?cation and testing, and emerging applications of formal veri?cation to softwareanalysis.Joint CAV-ISSTA events included a distinguished plenary l- ture by David Harel and a special session exploring various approaches to the speci?cation and veri?cation of concurrent software organized by Shaz Qadeer.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540223428
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 29 June 2004
- Listed Since
- 10 December 2006
Barcode
No barcode data available
Similar Products You Might Like
95% match
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 2404 (Lecture Notes in Computer Science, 2404)
Springer
£85.41
05 Mar 2026
93% match
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in Computer Science, 5643)
Springer
£81.08
28 Feb 2026
91% match
Computer Vision - ECCV 2004: 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part IV: 3024 (Lecture Notes in Computer Science, 3024)
Springer
£85.66
06 Feb 2026
91% match
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2988)
Springer
£85.11
30 Mar 2026
91% match
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science, 3097)
Springer
£43.95
08 Mar 2026
90% match
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)
Springer
£44.83
07 Mar 2026
90% match
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004: 7th International Conference Saint-Malo, France, September 26-29, 2004, ... (Lecture Notes in Computer Science, 3216)
Springer
£136.19
31 Jan 2026
90% match
Computer Aided Verification
Saint Philip Street Press
£60.95
10 Feb 2026
90% match
Springer ICIAR 2004 Image Analysis and Recognition Proceedings
Springer
£115.26
10 Mar 2026
90% match
Image Analysis and Recognition: International Conference ICIAR 2004, Porto, Portugal, September 29 - October 1, 2004, Proceedings, Part II: 3212 (Lecture Notes in Computer Science)
Springer
£115.32
09 Mar 2026
90% match
Information Security and Cryptology - ICISC 2004: 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers: 3506 (Lecture Notes in Computer Science, 3506)
Springer
£84.96
07 Mar 2026
90% match
Springer ISPA 2004 Proceedings - Parallel and Distributed Processing
Springer
£42.70
19 Apr 2026
90% match
Springer Advances in Neural Networks - ISNN 2004 Proceedings
Springer
£89.99
18 Apr 2026
90% match
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... (Lecture Notes in Computer Science, 6415)
Springer
£89.98
08 Mar 2026
90% match
Formal System Verification: State-of the-Art and Future Trends
Springer
£88.40
06 Mar 2026
90% match
Advances in Multimedia Information Processing - PCM 2004: 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, ... II: 3332 (Lecture Notes in Computer Science)
Springer
£118.50
10 Mar 2026
90% match
Information and Communications Security: 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings: 3269 (Lecture Notes in Computer Science, 3269)
Springer
£66.27
16 Apr 2026
90% match
Advances in Neural Networks - ISNN 2004: International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part I: 3173 (Lecture Notes in Computer Science, 3173)
Springer
£128.91
12 Apr 2026
90% match
Graph Drawing: 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers: 3383 (Lecture Notes in Computer Science, 3383)
Springer
£87.34
08 Mar 2026
90% match
Computer-aided Systems in Public Transport: 600 (Lecture Notes in Economics and Mathematical Systems, 600)
Springer
£42.82
10 Mar 2026
90% match
Advances in Cryptology – EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, ... (Lecture Notes in Computer Science, 3027)
Springer
£82.73
16 Feb 2026
90% match
Computer Science and its Applications: Ubiquitous Information Technologies: 330 (Lecture Notes in Electrical Engineering, 330)
Springer
£229.51
25 Jan 2026
90% match
Computer Vision - ACCV 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I: 3851 (Lecture Notes in Computer Science, 3851)
Springer
£89.45
10 Mar 2026
90% match
Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings: 3251 (Lecture Notes in Computer Science, 3251)
Springer
£119.61
06 Feb 2026