£74.46

Springer Formal Semantics and Proof Techniques for Optimizing VHDL Models

Price data last checked 29 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£74 today · previous high £74 · all-time low £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 62 days · 62 data points (no recent data)

Historical
Generating forecast…
£74.46 £73.68 £73.85 £74.02 £74.19 £74.36 £74.53 07 June 2026 22 June 2026 07 July 2026 22 July 2026 07 August 2026

Price Distribution

Price distribution over 62 days • 1 price levels

Days at Price
62 days 0 16 31 47 62 £74 Days at Price

Price Analysis

Most common price: £74 (62 days, 100.0%)

Price range: £74 - £74

Price levels: 1 different prices over 62 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

£110.94 06 Aug 2026
A Tutorial Introduction to VHDL Programming
86% match

A Tutorial Introduction to VHDL Programming

Springer

£65.61 05 Aug 2026
Harnessing VLSI System Design with EDA Tools
86% match

Harnessing VLSI System Design with EDA Tools

Springer

£74.46 05 Aug 2026
Applications of VHDL to Circuit Design
85% match

Applications of VHDL to Circuit Design

Springer

£76.38 06 Aug 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

£74.46 04 Aug 2026
VHDL and FPLDs in Digital Systems Design, Prototyping and Customization
85% match

VHDL and FPLDs in Digital Systems Design, Prototyping and Customization

Springer

£85.68 29 Aug 2026
VHDL Coding Styles and Methodologies
84% match

VHDL Coding Styles and Methodologies

Springer

£79.08 04 Aug 2026
Behavioral Synthesis and Component Reuse with VHDL
84% match

Behavioral Synthesis and Component Reuse with VHDL

Springer

£112.90 08 Aug 2026
System Synthesis with VHDL
84% match

System Synthesis with VHDL

Springer

£108.01 06 Aug 2026
Symbolic Simulation Methods for Industrial Formal Verification
83% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£74.31 06 Aug 2026
A Formal Approach to Hardware Design: 253 (The Springer International Series in Engineering and Computer Science, 253)
83% match

A Formal Approach to Hardware Design: 253 (The Springer International Series in Engineering and Computer Science, 253)

Springer

£121.54 05 Sep 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 05 Aug 2026
A Guide to VHDL
83% match

A Guide to VHDL

Springer

£76.42 05 Aug 2026
VHDL Answers to Frequently Asked Questions
83% match

VHDL Answers to Frequently Asked Questions

Springer

£76.42 06 Aug 2026
The Complete Verilog Book
83% match

The Complete Verilog Book

Springer

£108.01 07 Aug 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
82% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£65.61 08 Aug 2026
VHDL Designer’s Reference
82% match

VHDL Designer’s Reference

Springer

£146.98 07 Aug 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

£144.90 03 Aug 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.80 31 Jul 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 2026
Hardware Design and Petri Nets
82% match

Hardware Design and Petri Nets

Springer

£108.01 08 Aug 2026
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
82% match

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Springer

£88.14 29 Jul 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

£108.32 04 Aug 2026
Separation Logic for High-level Synthesis (Springer Theses)
81% match

Separation Logic for High-level Synthesis (Springer Theses)

Springer

£76.42 07 Aug 2026