£129.99

It has never been this cheap. We have no record of a lower price.

£130 today · cheaper than every other day in the last 3 months

Springer Compiling Esterel

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 36 days · 36 data points (no recent data)

Historical
Generating forecast…
£129.99 £123.49 £126.09 £128.69 £131.29 £133.89 £136.49 11 August 2026 19 August 2026 28 August 2026 06 September 2026 15 September 2026
View at Amazon ↗

Price data last checked 55 day(s) ago - refreshing...

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 Distribution

Price distribution over 36 days • 1 price levels

Days at Price
36 days 0 9 18 27 36 £130 Days at Price

Price Analysis

Most common price: £130 (36 days, 100.0%)

Price range: £130 - £130

Price levels: 1 different prices over 36 days

Description

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it. Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having priorknowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design. Researchers as well as advanced developers will find Compiling Esterel essential for understanding Esterel at all levels.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
04 November 2010
Listed Since
10 May 2010

Barcode

No barcode data available

Similar Products You Might Like

Retargetable Compiler Technology for Embedded Systems: Tools and Applications
82% match

Retargetable Compiler Technology for Embedded Systems: Tools and Applications

Springer

£74.17 22 Oct 2026
Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach
81% match

Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach

Springer

£76.42 23 Oct 2026
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
80% match

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

Springer

£80.67 22 Oct 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
80% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.42 23 Oct 2026
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
80% match

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

Springer

£103.27 15 Sep 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
80% match

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Springer

£73.14 20 Oct 2026
Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)
80% match

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

Springer

£109.43 23 Oct 2026
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems (Embedded Systems)
80% match

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems (Embedded Systems)

Springer

£108.88 22 Oct 2026
Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive
79% match

Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive

Springer

£80.23 16 Oct 2026
ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)
79% match

ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)

Springer

£89.99 29 Oct 2026
ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)
79% match

ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)

Springer

£73.14 24 Oct 2026
Temporal Verification of Reactive Systems: Safety
79% match

Temporal Verification of Reactive Systems: Safety

Springer

£85.07 23 Oct 2026
Separation Logic for High-level Synthesis (Springer Theses)
79% match

Separation Logic for High-level Synthesis (Springer Theses)

Springer

£76.42 24 Oct 2026
Separation Logic for High-level Synthesis (Springer Theses)
79% match

Separation Logic for High-level Synthesis (Springer Theses)

Springer

£76.42 24 Oct 2026
A Systolic Array Parallelizing Compiler: 106 (The Springer International Series in Engineering and Computer Science, 106)
79% match

A Systolic Array Parallelizing Compiler: 106 (The Springer International Series in Engineering and Computer Science, 106)

Springer

£76.42 26 Oct 2026
Grundlagen und Techniken des Compilerbaus
78% match

Grundlagen und Techniken des Compilerbaus

De Gruyter Oldenbourg

£51.49 04 Nov 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
78% match

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

Springer

£74.17 21 Oct 2026
Programming Language Concepts (Undergraduate Topics in Computer Science)
78% match

Programming Language Concepts (Undergraduate Topics in Computer Science)

Springer

£38.45 27 Oct 2026
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems
78% match

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

Springer

£80.67 24 Oct 2026
Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications
78% match

Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications

Springer

£72.30 29 Oct 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
78% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£86.79 24 Oct 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
78% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£73.72 23 Oct 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)
78% 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 23 Oct 2026
SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
78% match

SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits

Springer

£65.38 26 Oct 2026