£129.99

Springer Compiling Esterel

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

View at Amazon

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

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

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 82 days · 82 data points (no recent data)

Historical
Generating forecast…
£129.99 £123.49 £126.09 £128.69 £131.29 £133.89 £136.49 26 June 2026 16 July 2026 05 August 2026 25 August 2026 15 September 2026

Price Distribution

Price distribution over 82 days • 1 price levels

Days at Price
82 days 0 21 41 62 82 £130 Days at Price

Price Analysis

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

Price range: £130 - £130

Price levels: 1 different prices over 82 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.46 05 Aug 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 05 Aug 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 05 Aug 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
80% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.42 05 Aug 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 03 Aug 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.82 05 Aug 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

£107.98 04 Aug 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 30 Jul 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 12 Aug 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 06 Aug 2026
Temporal Verification of Reactive Systems: Safety
79% match

Temporal Verification of Reactive Systems: Safety

Springer

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

Separation Logic for High-level Synthesis (Springer Theses)

Springer

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

Separation Logic for High-level Synthesis (Springer Theses)

Springer

£76.42 07 Aug 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 08 Aug 2026
Grundlagen und Techniken des Compilerbaus
78% match

Grundlagen und Techniken des Compilerbaus

De Gruyter Oldenbourg

£51.49 19 Aug 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.46 04 Aug 2026
Programming Language Concepts (Undergraduate Topics in Computer Science)
78% match

Programming Language Concepts (Undergraduate Topics in Computer Science)

Springer

£38.24 08 Aug 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 07 Aug 2026
Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications
78% match

Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications

Springer

£76.42 12 Aug 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
78% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£79.14 06 Aug 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
78% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£74.08 05 Aug 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 05 Aug 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

£63.98 08 Aug 2026