We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£61.61
Cambridge University Press Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
line drawings, tables, references
Price data last checked 33 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
About as cheap as it gets. The only time it was cheaper was 3 months ago.
£62 today · all-time low £59 (Apr 2026) · usually the usual
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 • 4 price levels
Price Analysis
Most common price: £60 (19 days, 32.8%)
Price range: £59 - £62
Price levels: 4 different prices over 58 days
Description
Product Specifications
- Format
- hardcover
- ASIN
- 052141718X
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 11 November 1993
- Listed Since
- 02 January 2007
Barcode
No barcode data available
Similar Products You Might Like
Programming with Higher-Order Logic
Cambridge University Press
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
Springer
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Springer
Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2)
Cambridge University Press
Separation Logic for High-level Synthesis (Springer Theses)
Springer
Separation Logic for High-level Synthesis (Springer Theses)
Springer
Computer Arithmetic: Algorithms and Hardware Implementations
Springer
Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
Birkhauser
Specifying Software: A Hands-On Introduction
Cambridge University Press
Design Theory and Computer Science: Processes and Methodology of Computer Systems Design: 15 (Cambridge Tracts in Theoretical Computer Science, Series Number 15)
Cambridge University Press
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Springer
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Cambridge University Press
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
Springer
Writing Testbenches using SystemVerilog
Springer
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
Springer
Symbolic Simulation Methods for Industrial Formal Verification
Springer
Trustworthy Hardware Design: Combinational Logic Locking Techniques (Analog Circuits and Signal Processing)
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
Theorem Proving with the Real Numbers (Distinguished Dissertations)
Springer
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
Cambridge University Press
Verilog: Frequently Asked Questions: Language, Applications and Extensions
Springer
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
Structural Proof Theory
Cambridge University Press