£74.85

This is the most expensive it has ever been. Walk away.

£75 today · previous high £75 · all-time low £74

Springer Embedded Systems Design Based on Formal Models of Computation

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£74.85 £73.76 £74.00 £74.24 £74.47 £74.71 £74.95 26 July 2026 13 August 2026 31 August 2026 18 September 2026 06 October 2026
View at Amazon ↗

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

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 73 days • 2 price levels

Days at Price
Current Price
24 days 49 days · current 0 12 25 37 49 £74 £75 Days at Price

Price Analysis

Most common price: £75 (49 days, 67.1%)

Price range: £74 - £75

Price levels: 2 different prices over 73 days

Description

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
16 October 2014
Listed Since
17 October 2014

Barcode

No barcode data available

Similar Products You Might Like

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)
96% match

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)

Information Science Reference

£60.26 06 Oct 2026
Theory and Applications of Dependable Computer Systems - DepCoS-RELCOMEX Proceedings
96% match

Theory and Applications of Dependable Computer Systems - DepCoS-RELCOMEX Proceedings

Springer

£109.19 06 Oct 2026
Advances in Intelligent Control Systems and Computer Science: 187 (Advances in Intelligent Systems and Computing, 187)
96% match

Advances in Intelligent Control Systems and Computer Science: 187 (Advances in Intelligent Systems and Computing, 187)

Springer

£107.31 24 Sep 2026
Intelligent Computing Paradigm and Cutting-edge Technologies: Proceedings of the Second International Conference on Innovative Computing and ... and Analytics in Intelligent Systems, 21)
96% match

Intelligent Computing Paradigm and Cutting-edge Technologies: Proceedings of the Second International Conference on Innovative Computing and ... and Analytics in Intelligent Systems, 21)

Springer

£135.86 23 Sep 2026
DoCEIS 2010 - Computing, Electrical & Industrial Systems
96% match

DoCEIS 2010 - Computing, Electrical & Industrial Systems

Springer

£109.08 10 Oct 2026
Real-Time Systems Design and Analysis: Tools for the Practitioner
96% match

Real-Time Systems Design and Analysis: Tools for the Practitioner

Wiley

£105.26 11 Aug 2026
Fault-Tolerant Design and Control of Automated Vehicles and Processes: Insights for the Synthesis of Intelligent Systems: 201 (Studies in Systems, Decision and Control, 201)
96% match

Fault-Tolerant Design and Control of Automated Vehicles and Processes: Insights for the Synthesis of Intelligent Systems: 201 (Studies in Systems, Decision and Control, 201)

Springer

£73.96 03 Oct 2026
Technological Innovation for the Internet of Things: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, ... and Communication Technology, 394)
96% match

Technological Innovation for the Internet of Things: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, ... and Communication Technology, 394)

Springer

£77.39 11 Sep 2026
Design of Reconfigurable Logic Controllers: 45 (Studies in Systems, Decision and Control)
96% match

Design of Reconfigurable Logic Controllers: 45 (Studies in Systems, Decision and Control)

Springer

£89.99 17 Sep 2026
Discrete-Event Modeling and Simulation: Theory and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems)
96% match

Discrete-Event Modeling and Simulation: Theory and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems)

CRC Press

£90.70 05 Sep 2026
Cyber-Physical Systems: Advances in Design & Modelling: 259 (Studies in Systems, Decision and Control, 259)
96% match

Cyber-Physical Systems: Advances in Design & Modelling: 259 (Studies in Systems, Decision and Control, 259)

Springer

£75.27 23 Sep 2026
Reconfigurable and Adaptive Computing: Theory and Applications
96% match

Reconfigurable and Adaptive Computing: Theory and Applications

CRC Press

£74.23 17 Sep 2026
Advances in Intelligent Modelling and Simulation: Artificial Intelligence-Based Models and Techniques in Scalable Computing: 422 (Studies in Computational Intelligence, 422)
95% match

Advances in Intelligent Modelling and Simulation: Artificial Intelligence-Based Models and Techniques in Scalable Computing: 422 (Studies in Computational Intelligence, 422)

Springer

£76.05 18 Sep 2026
Complex System Modelling and Control Through Intelligent Soft Computations
95% match

Complex System Modelling and Control Through Intelligent Soft Computations

Springer

£112.59 05 Oct 2026
Complex System Modelling and Control Through Intelligent Soft Computations: 319 (Studies in Fuzziness and Soft Computing, 319)
95% match

Complex System Modelling and Control Through Intelligent Soft Computations: 319 (Studies in Fuzziness and Soft Computing, 319)

Springer

£140.82 26 Sep 2026
Foundations of Embedded Systems: 195 (Studies in Systems, Decision and Control, 195)
95% match

Foundations of Embedded Systems: 195 (Studies in Systems, Decision and Control, 195)

Springer

£87.87 05 Oct 2026
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
95% match

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

Springer

£119.99 02 Oct 2026
Technological Innovation for Value Creation: Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS ... and Communication Technology, 372)
95% match

Technological Innovation for Value Creation: Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS ... and Communication Technology, 372)

Springer

£77.39 27 Sep 2026
Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification (Embedded Multi-Core Systems)
95% match

Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification (Embedded Multi-Core Systems)

CRC Press

£75.93 21 Sep 2026
Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer ... in Intelligent Systems and Computing, 1389)
95% match

Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer ... in Intelligent Systems and Computing, 1389)

Springer

£105.89 29 Sep 2026
Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications (Expert Guide)
95% match

Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications (Expert Guide)

Elsevier

£68.99 22 Sep 2026
Smart Agents for the Industry 4.0: Enabling Machine Learning in Industrial Production
95% match

Smart Agents for the Industry 4.0: Enabling Machine Learning in Industrial Production

Springer

£100.11 19 Sep 2026
Reconfigurable and Adaptive Computing: Theory and Applications
95% match

Reconfigurable and Adaptive Computing: Theory and Applications

CRC Press

£127.48 12 Oct 2026
Advanced Methods and Applications in Computational Intelligence: 6 (Topics in Intelligent Engineering and Informatics, 6)
95% match

Advanced Methods and Applications in Computational Intelligence: 6 (Topics in Intelligent Engineering and Informatics, 6)

Springer

£112.98 26 Sep 2026