We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£73.75
Springer Formal Semantics and Proof Techniques for Optimizing VHDL Models
Price data last checked 51 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 2 months ago.
£74 today · all-time low £73 (May 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 40 days · 40 data points (no recent data)
Price Distribution
Price distribution over 40 days • 3 price levels
Price Analysis
Most common price: £74 (18 days, 45.0%)
Price range: £73 - £76
Price levels: 3 different prices over 40 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 146137331X
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Publication Date
- 26 October 2012
- Listed Since
- 27 March 2013
Barcode
No barcode data available
Similar Products You Might Like
The VHDL Handbook
Springer
A Tutorial Introduction to VHDL Programming
Springer
Harnessing VLSI System Design with EDA Tools
Springer
Applications of VHDL to Circuit Design
Springer
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
Springer
VHDL and FPLDs in Digital Systems Design, Prototyping and Customization
Springer
VHDL Coding Styles and Methodologies
Springer
Behavioral Synthesis and Component Reuse with VHDL
Springer
System Synthesis with VHDL
Springer
Symbolic Simulation Methods for Industrial Formal Verification
Springer
A Formal Approach to Hardware Design: 253 (The Springer International Series in Engineering and Computer Science, 253)
Springer
Circuit Synthesis with VHDL: 261 (The Springer International Series in Engineering and Computer Science, 261)
Springer
A Guide to VHDL
Springer
VHDL Answers to Frequently Asked Questions
Springer
The Complete Verilog Book
Springer
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
Springer
VHDL Designer’s Reference
Springer
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Springer
SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling
Springer
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Hardware Design and Petri Nets
Springer
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Springer
Model Engineering in Mixed-Signal Circuit Design: A Guide to Generating Accurate Behavioral Models in VHDL-AMS: 649 (The Springer International Series in Engineering and Computer Science, 649)
Springer
Separation Logic for High-level Synthesis (Springer Theses)
Springer