We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£83.77
Springer Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4144 (Lecture Notes in Computer Science, 4144)
9783540374060
Price data last checked 22 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£84 today · cheaper than every other day in the last 3 months
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 69 days · 69 data points (no recent data)
Price Distribution
Price distribution over 69 days • 2 price levels
Price Analysis
Most common price: £87 (68 days, 98.6%)
Price range: £84 - £87
Price levels: 2 different prices over 69 days
Description
Product Specifications
- Brand
- Springer
- Model
- 9783540374060
- Format
- paperback
- ASIN
- 354037406X
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 08 August 2006
- Listed Since
- 27 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science, 8559)
Springer
Computer Aided Verification
Saint Philip Street Press
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Springer
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, ... (Lecture Notes in Computer Science, 4162)
Springer
Computational Linguistics and Intelligent Text Processing: 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, ... (Lecture Notes in Computer Science, 3878)
Springer
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)
Springer
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)
Princeton University Press
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424)
Springer
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers: 4502 (Lecture Notes in Computer Science, 4502)
Springer
Advanced Concepts for Intelligent Vision Systems: 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006, Proceedings: 4179 (Lecture Notes in Computer Science, 4179)
Springer
Computer Algebra in Scientific Computing: 28th International Workshop, CASC 2026, Bath, UK, August 31 – September 4, 2026, Proceedings: 16844 (Lecture Notes in Computer Science, 16844)
Springer
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... (Lecture Notes in Computer Science, 13466)
Springer
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Specification and Verification of Multi-agent Systems
Springer
Computer Supported Cooperative Work in Design III: 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers: 4402 (Lecture Notes in Computer Science, 4402)
Springer
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, ... (Lecture Notes in Computer Science, 15529)
Springer
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... (Lecture Notes in Computer Science, 9952)
Springer
Computational Intelligence, Theory and Applications: International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 Proceedings: 38 (Advances in Intelligent and Soft Computing, 38)
Springer
Formal Verification of Circuits
Springer
Rough Sets and Current Trends in Computing: 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings: 4259 (Lecture Notes in Computer Science, 4259)
Springer
Computer Vision - ACCV 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part II: 3852 (Lecture Notes in Computer Science, 3852)
Springer
Advanced Information Systems Engineering: 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings: 13901 (Lecture Notes in Computer Science, 13901)
Springer
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings: 15191 (Lecture Notes in Computer Science, 15191)
Springer
Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings: 4053 (Lecture Notes in Computer Science, 4053)
Springer