£76.31

Springer Separation Logic for High-level Synthesis (Springer Theses)

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.

£76 today · all-time low £75 (Mar 2026) · usually £76

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...
£76.38 £75.28 £75.52 £75.76 £76.00 £76.24 £76.48 01 March 2026 22 March 2026 12 April 2026 03 May 2026 25 May 2026

Price Distribution

Price distribution over 86 days • 1 price levels

Days at Price
86 days 0 22 43 65 86 £76 Days at Price

Price Analysis

Most common price: £76 (86 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 86 days

Description

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance computing. Field-programmable gate arrays (FPGAs) gain efficiency by encoding the computing task into the chip’s physical circuitry and are gaining rapidly increasing importance in the processor market, especially after recent announcements of large-scale deployments in the data centre. This is driving, more than ever, the demand for higher design entry abstraction levels, such as the automatic circuit synthesis from high-level languages (high-level synthesis). The techniques in this book apply formal reasoning to high-level synthesis in the context of demonstrably practical applications.<

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
21 July 2018
Listed Since
20 July 2018

Barcode

No barcode data available

Similar Products You Might Like

Separation Logic for High-level Synthesis (Springer Theses)
100% match

Separation Logic for High-level Synthesis (Springer Theses)

Springer

£76.38 25 May 2026
Synthesis and Optimization of FPGA-Based Systems: 294 (Lecture Notes in Electrical Engineering, 294)
85% match

Synthesis and Optimization of FPGA-Based Systems: 294 (Lecture Notes in Electrical Engineering, 294)

Springer

£107.98 25 May 2026
Logic Synthesis for Field-Programmable Gate Arrays: 324 (The Springer International Series in Engineering and Computer Science, 324)
85% match

Logic Synthesis for Field-Programmable Gate Arrays: 324 (The Springer International Series in Engineering and Computer Science, 324)

Springer

£82.77 27 May 2026
High-Level Synthesis for Real-Time Digital Signal Processing: The Cathedral-2 Silicon Compiler: 216 (The Springer International Series in Engineering and Computer Science, 216)
84% match

High-Level Synthesis for Real-Time Digital Signal Processing: The Cathedral-2 Silicon Compiler: 216 (The Springer International Series in Engineering and Computer Science, 216)

Springer

£113.09 26 May 2026
Principles and Structures of FPGAs
83% match

Principles and Structures of FPGAs

Springer

£136.54 18 May 2026
Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)
83% match

Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)

Springer

£120.81 30 May 2026
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
83% match

Retargetable Compiler Technology for Embedded Systems: Tools and Applications

Springer

£73.16 23 May 2026
Logic Synthesis and Optimization: 212 (The Springer International Series in Engineering and Computer Science, 212)
83% match

Logic Synthesis and Optimization: 212 (The Springer International Series in Engineering and Computer Science, 212)

Springer

£107.98 26 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 18 May 2026
Computer Arithmetic: Algorithms and Hardware Implementations
83% match

Computer Arithmetic: Algorithms and Hardware Implementations

Springer

£76.38 25 May 2026
Advanced Techniques in Logic Synthesis, Optimizations and Applications
82% match

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Springer

£84.28 28 May 2026
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
82% match

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

Springer

£76.38 26 May 2026
System Synthesis with VHDL
82% match

System Synthesis with VHDL

Springer

£107.98 29 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
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
Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications
82% match

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

Springer

£107.98 29 May 2026
Logic Synthesis Using Synopsys®
82% match

Logic Synthesis Using Synopsys®

Springer

£108.98 25 May 2026
Functional Decomposition with Applications to FPGA Synthesis
82% match

Functional Decomposition with Applications to FPGA Synthesis

Springer

£107.98 28 May 2026
High-Performance Energy-Efficient Microprocessor Design (Integrated Circuits and Systems)
82% match

High-Performance Energy-Efficient Microprocessor Design (Integrated Circuits and Systems)

Springer

£80.64 18 May 2026
Synthesis of Finite State Machines: Logic Optimization
82% match

Synthesis of Finite State Machines: Logic Optimization

Springer

£76.21 29 May 2026
Circuit Synthesis with VHDL: 261 (The Springer International Series in Engineering and Computer Science, 261)
82% match

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

Springer

£113.09 25 May 2026
Behavioral Synthesis and Component Reuse with VHDL
82% match

Behavioral Synthesis and Component Reuse with VHDL

Springer

£112.90 25 May 2026
Field-Programmable Gate Array Technology
82% match

Field-Programmable Gate Array Technology

Springer

£123.60 25 May 2026
Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005
81% match

Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005

Springer

£107.98 25 May 2026