We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£67.50
Princeton University Press Computer Aided Verification of Coordinating Processes – the Automata–Theoretic Approach (Princeton Series in Computer Science)
Price data checked 1 day ago
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.
£68 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 90 days · 90 data points
Price Distribution
Price distribution over 90 days • 1 price levels
Price Analysis
Most common price: £68 (90 days, 100.0%)
Price range: £68 - £68
Price levels: 1 different prices over 90 days
Description
Product Specifications
- Format
- hardcover
- ASIN
- 0691034362
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 23 March 1995
- Listed Since
- 13 February 2007
Barcode
No barcode data available
Similar Products You Might Like
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Springer
Symbolic Simulation Methods for Industrial Formal Verification
Springer
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Specification and Verification of Multi-agent Systems
Springer
Constraint-Based Verification
Springer
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
Springer
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
Springer
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Springer
Functional Verification Coverage Measurement and Analysis
Springer
Design of Embedded Control Systems
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
Techniques for Searching, Parsing, and Matching
Springer
Verification and Control of Hybrid Systems: A Symbolic Approach
Springer
Verification and Control of Hybrid Systems: A Symbolic Approach
Springer
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Springer
The Testability of Distributed Real-Time Systems: 245 (The Springer International Series in Engineering and Computer Science, 245)
Springer
Theory of Digital Automata: 63 (Intelligent Systems, Control and Automation: Science and Engineering, 63)
Springer
Temporal Verification of Reactive Systems: Safety
Springer
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Logic Synthesis for Control Automata
Springer
Verification Techniques for System-Level Design (Systems on Silicon)
Morgan Kaufmann
Petri Net Algebra (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Post-Silicon and Runtime Verification for Modern Processors
Springer
Automated Planning: Theory & Practice
Morgan Kaufmann