£79.99

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

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

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

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£79.99 £75.99 £77.59 £79.19 £80.79 £82.39 £83.99 26 July 2026 31 July 2026 05 August 2026 10 August 2026 15 August 2026
View at Amazon ↗

Price data last checked 70 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 21 days • 1 price levels

Days at Price
21 days 0 5 11 16 21 £80 Days at Price

Price Analysis

Most common price: £80 (21 days, 100.0%)

Price range: £80 - £80

Price levels: 1 different prices over 21 days

Description

Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded". For coordinating the various software components and allowing them to communicate with each other, support software is needed, called an operating system (OS). Because embedded software must function in real time (RT), a RTOS is needed. This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this book produces results that are more reliable while delivering higher performance. The result is a unique real-time concurrent programming system that supports heterogeneous systems with just 5 Kbytes/node. It is compatible with safety related engineering standards, such as IEC61508.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
01 October 2014
Listed Since
02 October 2014

Barcode

No barcode data available

Similar Products You Might Like

Real-Time Embedded Systems: Open-Source Operating Systems Perspective
96% match

Real-Time Embedded Systems: Open-Source Operating Systems Perspective

CRC Press

£82.74 12 Sep 2026
Real-Time Embedded Systems: Open-Source Operating Systems Perspective: 3
96% match

Real-Time Embedded Systems: Open-Source Operating Systems Perspective: 3

CRC Press

£193.57 22 Oct 2026
CRC Press Real-Time Concepts for Embedded Systems Book
95% match

CRC Press Real-Time Concepts for Embedded Systems Book

CRC Press

£58.50 15 Aug 2026
Embedded Software Development: The Open-Source Approach (Embedded Systems)
95% match

Embedded Software Development: The Open-Source Approach (Embedded Systems)

CRC Press

£57.99 20 Aug 2026
Real-Time Embedded Systems with Open-Source Operating Systems
95% match

Real-Time Embedded Systems with Open-Source Operating Systems

CRC Press

£50.59 10 Sep 2026
CRC Press MicroC/OS-II: The Real Time Kernel - 2nd Edition
95% match

CRC Press MicroC/OS-II: The Real Time Kernel - 2nd Edition

CRC Press

£46.21 26 Sep 2026
Real-Time Embedded Systems: Design Principles and Engineering Practices
95% match

Real-Time Embedded Systems: Design Principles and Engineering Practices

Newnes

£56.92 11 Sep 2026
Embedded RTOS Design: Insights and Implementation
95% match

Embedded RTOS Design: Insights and Implementation

Elsevier

£49.45 12 Sep 2026
Real-Time Systems Development with RTEMS and Multicore Processors (Embedded Systems)
95% match

Real-Time Systems Development with RTEMS and Multicore Processors (Embedded Systems)

CRC Press

£165.91 19 Sep 2026
Real-Time Systems Development with RTEMS and Multicore Processors (Embedded Systems)
95% match

Real-Time Systems Development with RTEMS and Multicore Processors (Embedded Systems)

CRC Press

£68.50 03 Sep 2026
Pearl 96: Workshop über Realzeitsysteme (Informatik aktuell)
95% match

Pearl 96: Workshop über Realzeitsysteme (Informatik aktuell)

Springer

£46.70 23 Sep 2026
Hands-On RTOS with Microcontrollers: Building real-time embedded systems using FreeRTOS, STM32 MCUs, and SEGGER debug tools
94% match

Hands-On RTOS with Microcontrollers: Building real-time embedded systems using FreeRTOS, STM32 MCUs, and SEGGER debug tools

Packt Publishing

£44.99 01 Sep 2026
Real-Time Embedded Systems: Optimization, Synthesis, Networking
94% match

Real-Time Embedded Systems: Optimization, Synthesis, Networking

CRC Press

£140.53 05 Oct 2026
Real-Time Embedded Systems: Optimization, Synthesis, and Networking
94% match

Real-Time Embedded Systems: Optimization, Synthesis, and Networking

CRC Press

£64.03 11 Sep 2026
Real-Time Software Design for Embedded Systems
94% match

Real-Time Software Design for Embedded Systems

Cambridge University Press

£72.91 12 Aug 2026
Real-Time Systems Design and Analysis: Tools for the Practitioner
94% match

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

Wiley

£105.26 11 Aug 2026
Embedded Linux Development Using Yocto Project Cookbook: Practical recipes to help you leverage the power of Yocto to build exciting Linux-based systems
94% match

Embedded Linux Development Using Yocto Project Cookbook: Practical recipes to help you leverage the power of Yocto to build exciting Linux-based systems

Packt Publishing

£45.55 12 Oct 2026
Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API
94% match

Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API

Apress

£35.30 29 Aug 2026
Real-Time Systems: Design Principles for Distributed Embedded Applications: 25 (Real-Time Systems Series, 25)
94% match

Real-Time Systems: Design Principles for Distributed Embedded Applications: 25 (Real-Time Systems Series, 25)

Springer

£40.65 23 Sep 2026
Large Scale Computations, Embedded Systems & Security
94% match

Large Scale Computations, Embedded Systems & Security

£34.42 09 Oct 2026
Real-Time Systems: Design Principles for Distributed Embedded Applications
94% match

Real-Time Systems: Design Principles for Distributed Embedded Applications

Springer

£43.02 02 Sep 2026
Real-Time Systems Development
94% match

Real-Time Systems Development

Elsevier

£42.99 12 Sep 2026
Mastering Embedded Linux Programming: Unleash the full potential of Embedded Linux
94% match

Mastering Embedded Linux Programming: Unleash the full potential of Embedded Linux

Packt Publishing

£47.86 14 Aug 2026
Pearson Operating Systems: Internals and Design Principles
94% match

Pearson Operating Systems: Internals and Design Principles

PEARSON EDUCATION

£70.09 11 Aug 2026