£121.44

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

Price data checked 6 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 2 months ago.

£121 today · all-time low £121 (May 2026) · usually £121

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 85 days • 85 data points (No recent data available)

Historical
Generating forecast...
£121.46 £121.39 £121.41 £121.42 £121.44 £121.45 £121.47 05 April 2026 26 April 2026 17 May 2026 07 June 2026 28 June 2026

Price Distribution

Price distribution over 85 days • 1 price levels

Days at Price
85 days 0 21 43 64 85 £121 Days at Price

Price Analysis

Most common price: £121 (85 days, 100.0%)

Price range: £121 - £121

Price levels: 1 different prices over 85 days

Description

A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the designer to perform different kinds of analysis and verification based on descriptions in a single language. It is, for example, possible to use exactly the same design description both for mechanically supported verification and synthesis. Synchronized Transitions is supported by a collection of public domain CAD tools. These tools can be used with the book in presenting a course on the subject. A Formal Approach to Hardware Design illustrates the benefits to be gained from adopting such techniques, but it does so without assuming prior knowledge of formal design methods. The book is thus not only an excellent reference, it is also suitable for use by students and practitioners.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 January 1994
Listed Since
12 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Synchronous Equivalence: Formal Methods for Embedded Systems
84% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£78.80 31 May 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
84% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£73.38 25 May 2026
Synchronization Design for Digital Systems: 123 (The Springer International Series in Engineering and Computer Science, 123)
84% match

Synchronization Design for Digital Systems: 123 (The Springer International Series in Engineering and Computer Science, 123)

Springer

£89.99 06 Jun 2026
Synchronization Design for Digital Systems: 123 (The Springer International Series in Engineering and Computer Science, 123)
84% match

Synchronization Design for Digital Systems: 123 (The Springer International Series in Engineering and Computer Science, 123)

Springer

£76.38 26 May 2026
Hardware Design and Petri Nets
83% match

Hardware Design and Petri Nets

Springer

£108.91 04 Jun 2026
Formal Semantics and Proof Techniques for Optimizing VHDL Models
83% match

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Springer

£73.75 01 Jun 2026
System Level Hardware/Software Co-Design: An Industrial Approach
83% match

System Level Hardware/Software Co-Design: An Industrial Approach

Springer

£107.93 27 May 2026
Computer Arithmetic: Algorithms and Hardware Implementations
83% match

Computer Arithmetic: Algorithms and Hardware Implementations

Springer

£76.38 31 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
The Synthesis Approach to Digital System Design: 170 (The Springer International Series in Engineering and Computer Science, 170)
83% match

The Synthesis Approach to Digital System Design: 170 (The Springer International Series in Engineering and Computer Science, 170)

Springer

£107.98 31 May 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
82% match

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

Springer

£73.16 18 May 2026
Harnessing VLSI System Design with EDA Tools
82% match

Harnessing VLSI System Design with EDA Tools

Springer

£73.75 25 May 2026
Application-Driven Architecture Synthesis: 228 (The Springer International Series in Engineering and Computer Science, 228)
82% match

Application-Driven Architecture Synthesis: 228 (The Springer International Series in Engineering and Computer Science, 228)

Springer

£107.20 18 May 2026
Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench: The System Architect's Workbench: 85 (The Springer International Series in Engineering and Computer Science, 85)
82% match

Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench: The System Architect's Workbench: 85 (The Springer International Series in Engineering and Computer Science, 85)

Springer

£113.94 22 Jun 2026
Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications
81% match

Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications

Springer

£107.98 12 Jun 2026
Trustworthy Hardware Design: Combinational Logic Locking Techniques (Analog Circuits and Signal Processing)
81% match

Trustworthy Hardware Design: Combinational Logic Locking Techniques (Analog Circuits and Signal Processing)

Springer

£87.45 05 Jun 2026
The Art of Hardware Architecture: Design Methods and Techniques for Digital Circuits
81% match

The Art of Hardware Architecture: Design Methods and Techniques for Digital Circuits

Springer

£78.01 06 Jun 2026
Applications of VHDL to Circuit Design
81% match

Applications of VHDL to Circuit Design

Springer

£76.38 29 May 2026
Symbolic Simulation Methods for Industrial Formal Verification
81% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026
System Synthesis with VHDL
81% match

System Synthesis with VHDL

Springer

£107.98 29 May 2026
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
81% match

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)

Springer

£147.11 28 May 2026
A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits: 672 (The Springer International Series in Engineering and Computer Science, 672)
81% match

A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits: 672 (The Springer International Series in Engineering and Computer Science, 672)

Springer

£107.86 04 Jun 2026
Behavioral Synthesis and Component Reuse with VHDL
81% match

Behavioral Synthesis and Component Reuse with VHDL

Springer

£112.90 03 Jun 2026
Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)
81% match

Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)

Springer

£108.76 25 May 2026