We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£86.82
About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.
£87 today · all-time low £86 (Sep 2026) · usually the usual
Springer Formal System Verification: State-of the-Art and Future Trends
Price data last checked 31 day(s) ago - refreshing...
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 60 days · 60 data points (no recent data)
Price data last checked 31 day(s) ago - refreshing...
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 60 days • 3 price levels
Price Analysis
Most common price: £88 (32 days, 53.3%)
Price range: £87 - £89
Price levels: 3 different prices over 60 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3319862235
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 10 August 2018
- Listed Since
- 10 August 2018
Barcode
No barcode data available
Similar Products You Might Like
System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering, 106)
Springer
System Specification and Design Languages FDL 2010
Springer
Current Trends in Hardware Verification and Automated Theorem Proving
Springer
Formal Methods and Models for System Design - Springer
Springer
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
Springer
Formalization of Complex Analysis and Matrix Theory - HOL4
Springer
On-Chip Interconnect with aelite: Composable and Predictable Systems (Embedded Systems)
Springer
Formalization of Complex Analysis and Matrix Theory
Springer
Foundations of Embedded Systems: 195 (Studies in Systems, Decision and Control, 195)
Springer
Embedded Systems Handbook 2-Volume Set (Industrial Information Technology)
CRC Press
UML/OCL Models Validation & Verification - Springer
Springer
Morgan Kaufmann Digital Design and Computer Architecture Book
Morgan Kaufmann
Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits (Devices, Circuits, and Systems)
CRC Press
Test Generation of Crosstalk Delay Faults in VLSI Circuits
Springer
Functional Verification of Dynamically Reconfigurable FPGA-based Systems
Springer
Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute
Springer
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)
Information Science Reference
Testing of Interposer-Based 2.5D Integrated Circuits
Springer
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog
Springer
Post-Silicon and Runtime Verification for Modern Processors
Springer
Counterfeit Integrated Circuits: Detection and Avoidance
Springer
Reconfigurable System Design and Verification
CRC Press
Computers as Components: Principles of Embedded Computing System Design (The Morgan Kaufmann Series in Computer Architecture and Design)
Elsevier
The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178)
Springer