We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£73.84
It has never been this cheap. We have no record of a lower price.
£74 today · cheaper than every other day in the last 3 months
Springer Test Pattern Generation using Boolean Proof Engines
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 67 days · 67 data points (no recent data)
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 Distribution
Price distribution over 67 days • 1 price levels
Price Analysis
Most common price: £74 (67 days, 100.0%)
Price range: £74 - £74
Price levels: 1 different prices over 67 days
Description
Product Specifications
- Brand
- Springer
- Model
- biography
- Format
- hardcover
- ASIN
- 9048123593
- Domain
- Amazon UK
- Release Date
- 30 April 2009
- Listed Since
- 11 February 2009
Barcode
No barcode data available
Similar Products You Might Like
Boolean Circuit Rewiring: Bridging Logical and Physical Designs
Wiley
Computation Engineering: Applied Automata Theory and Logic
Springer
Scalable Hardware Verification with Symbolic Simulation
Springer
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Lecture Notes in Computer Science, 12831)
Springer
Logic Synthesis and Verification Algorithms
Springer
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
Springer
Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)
CRC Press
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
SAT 2005: Satisfiability Research in the Year 2005
Springer
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)
Springer
SAT 2005: Satisfiability Research - Springer AI Computing
Springer
Assertion-Based Design
Springer
Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))
Sage Publishing
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science, 270)
Springer
Formal Methods and Models for System Design - Springer
Springer
Synthesis of Finite State Machines: Logic Optimization
Springer
Switching Theory for Logic Synthesis
Springer
Robustness and Usability in Modern Design Flows
Springer
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
On the Learnability of Physically Unclonable Functions (T-Labs Series in Telecommunication Services)
Springer
Digital VLSI Design and Simulation with Verilog
Wiley
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science)
Springer
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog
Springer
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company