We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£149.64
Springer Deductive Program Design: 152 (NATO ASI Subseries F:, 152)
Price data last checked 33 day(s) ago - refreshing...
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.
£150 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 58 days • 58 data points (No recent data available)
Price Distribution
Price distribution over 58 days • 1 price levels
Price Analysis
Most common price: £150 (58 days, 100.0%)
Price range: £150 - £150
Price levels: 1 different prices over 58 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3642648495
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 26 September 2011
- Listed Since
- 13 July 2012
Barcode
No barcode data available
Similar Products You Might Like
Deductive Program Design: 152 (NATO ASI Subseries F:, 152)
Springer
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare: 55 (NATO ASI Subseries F:, 55)
Springer
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
Springer
Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)
Springer
Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)
Springer
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Springer
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
Springer
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)
Springer
Cognitive Models and Intelligent Environments for Learning Programming: 111 (NATO ASI Subseries F:, 111)
Springer
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Springer
Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)
Springer
Algorithms for Functional Programming
Springer
Prolog by Example: How to Learn, Teach and Use It (Symbolic Computation)
Springer
Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)
Springer
Rule-Based Programming: 369 (The Springer International Series in Engineering and Computer Science, 369)
Springer
Protoalgebraic Logics: 10 (Trends in Logic, 10)
Springer
Logics for Computer Science: Classical and Non-Classical
Springer
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
Springer
Multiprocessor Execution of Logic Programs
Springer
Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Cambridge University Press
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Springer
LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Neural Models and Algorithms for Digital Testing: 140 (The Springer International Series in Engineering and Computer Science, 140)
Springer