£73.10

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

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

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.

£73 today · previous high £73 · all-time low £73

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

Historical
Generating forecast...
£73.10 £72.51 £72.64 £72.77 £72.89 £73.02 £73.15 28 March 2026 09 April 2026 22 April 2026 04 May 2026 17 May 2026

Price Distribution

Price distribution over 51 days • 1 price levels

Days at Price
51 days 0 13 26 38 51 £73 Days at Price

Price Analysis

Most common price: £73 (51 days, 100.0%)

Price range: £73 - £73

Price levels: 1 different prices over 51 days

Description

Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and reliability are of paramount importance. These requirement pose new challenges to system designers. This necessitates that a proper design science, based on "constructive correctness" be developed. Correct-by-construction design and synthesis of embedded software is done in a way so that post-development verification is minimized, and correct operation of embedded systems is maximized. This book presents the state of the art in the design of safety-critical, embedded software. It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language. It is an invaluable reference for practitioners and researchers concerned with improving the product development life-cycle.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
20 November 2014
Listed Since
21 November 2014

Barcode

No barcode data available

Similar Products You Might Like

Advanced Techniques for Embedded Systems Design and Test
86% match

Advanced Techniques for Embedded Systems Design and Test

Springer

£108.63 24 May 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
85% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

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

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£73.38 25 May 2026
Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles: 520 (Studies in Computational Intelligence, 520)
85% match

Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles: 520 (Studies in Computational Intelligence, 520)

Springer

£76.38 11 Jun 2026
Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach
85% match

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

Springer

£76.38 26 May 2026
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
85% match

Retargetable Compiler Technology for Embedded Systems: Tools and Applications

Springer

£73.16 23 May 2026
Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive
85% match

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

Springer

£80.23 21 Jun 2026
Hardware-Software Co-Synthesis of Distributed Embedded Systems
85% match

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Springer

£85.72 03 Jun 2026
Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)
85% match

Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)

Springer

£80.64 24 May 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
84% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.38 26 May 2026
Embedded Control System Design: A Model Based Approach
84% match

Embedded Control System Design: A Model Based Approach

Springer

£100.08 10 Jun 2026
Embedded Control System Design: A Model Based Approach
84% match

Embedded Control System Design: A Model Based Approach

Springer

£100.08 26 May 2026
Hardware-Software Co-Synthesis of Distributed Embedded Systems
84% match

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Springer

£73.75 20 May 2026
Hardware/Software Co-Design and Co-Verification: 8 (Current Issues in Electronic Modeling, 8)
84% match

Hardware/Software Co-Design and Co-Verification: 8 (Current Issues in Electronic Modeling, 8)

Springer

£141.00 25 May 2026
Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems
83% match

Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems

Springer

£75.11 21 May 2026
Energy-Efficient Fault-Tolerant Systems (Embedded Systems)
83% match

Energy-Efficient Fault-Tolerant Systems (Embedded Systems)

Springer

£107.98 26 May 2026
Hardware/Software Co-Design: Principles and Practice
83% match

Hardware/Software Co-Design: Principles and Practice

Springer

£109.95 28 May 2026
System Synthesis with VHDL
83% match

System Synthesis with VHDL

Springer

£107.98 29 May 2026
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
83% match

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

Springer

£80.64 25 May 2026
Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)
83% match

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

Springer

£108.76 25 May 2026
Design of Embedded Control Systems
83% match

Design of Embedded Control Systems

Springer

£87.38 12 Jun 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
82% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£74.86 06 Jun 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
82% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.17 05 Jun 2026
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
82% match

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Springer

£131.50 12 Jun 2026