£73.16

Springer Formal Semantics and Proof Techniques for Optimizing VHDL Models

Price data checked 5 days ago

View at Amazon

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.

£73 today · all-time low £73 (Mar 2026) · usually £74

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

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
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 86 days • 86 data points (No recent data available)

Historical
Generating forecast...
£75.68 £72.25 £73.00 £73.75 £74.49 £75.24 £75.99 01 March 2026 22 March 2026 12 April 2026 03 May 2026 25 May 2026

Price Distribution

Price distribution over 86 days • 3 price levels

Days at Price
Current Price
15 days · current 57 days 14 days 0 14 29 43 57 £73 £74 £76 Days at Price

Price Analysis

Most common price: £74 (57 days, 66.3%)

Price range: £73 - £76

Price levels: 3 different prices over 86 days

Description

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.

Product Specifications

Format
paperback
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
87% match

The VHDL Handbook

Springer

£109.87 27 May 2026
A Tutorial Introduction to VHDL Programming
86% match

A Tutorial Introduction to VHDL Programming

Springer

£65.57 24 May 2026
Harnessing VLSI System Design with EDA Tools
86% match

Harnessing VLSI System Design with EDA Tools

Springer

£73.75 25 May 2026
Applications of VHDL to Circuit Design
85% match

Applications of VHDL to Circuit Design

Springer

£76.38 29 May 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
85% match

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Springer

£73.16 18 May 2026
VHDL Coding Styles and Methodologies
84% match

VHDL Coding Styles and Methodologies

Springer

£79.08 21 May 2026
Behavioral Synthesis and Component Reuse with VHDL
84% match

Behavioral Synthesis and Component Reuse with VHDL

Springer

£112.90 25 May 2026
System Synthesis with VHDL
84% match

System Synthesis with VHDL

Springer

£107.98 29 May 2026
Symbolic Simulation Methods for Industrial Formal Verification
83% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026
Circuit Synthesis with VHDL: 261 (The Springer International Series in Engineering and Computer Science, 261)
83% match

Circuit Synthesis with VHDL: 261 (The Springer International Series in Engineering and Computer Science, 261)

Springer

£113.09 25 May 2026
A Guide to VHDL
83% match

A Guide to VHDL

Springer

£76.13 25 May 2026
VHDL Answers to Frequently Asked Questions
83% match

VHDL Answers to Frequently Asked Questions

Springer

£76.21 27 May 2026
The Complete Verilog Book
83% match

The Complete Verilog Book

Springer

£108.92 28 May 2026
VHDL Designer’s Reference
82% match

VHDL Designer’s Reference

Springer

£145.57 26 May 2026
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
82% match

Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Springer

£120.00 16 May 2026
SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling
82% match

SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling

Springer

£107.76 11 May 2026
Hardware Design and Petri Nets
82% match

Hardware Design and Petri Nets

Springer

£108.93 18 May 2026
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)
82% match

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

£107.30 18 May 2026
Separation Logic for High-level Synthesis (Springer Theses)
81% match

Separation Logic for High-level Synthesis (Springer Theses)

Springer

£76.38 25 May 2026
Separation Logic for High-level Synthesis (Springer Theses)
81% match

Separation Logic for High-level Synthesis (Springer Theses)

Springer

£76.31 25 May 2026
Analog VHDL (Analog Integrated Circuits and Signal Processing, Vol 16, No 2)
81% match

Analog VHDL (Analog Integrated Circuits and Signal Processing, Vol 16, No 2)

Springer

£72.00 21 May 2026
Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012: 265 (Lecture Notes in Electrical Engineering, 265)
81% match

Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012: 265 (Lecture Notes in Electrical Engineering, 265)

Springer

£107.72 18 May 2026
Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
81% match

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03

Springer

£107.98 27 May 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
81% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£78.80 25 May 2026