. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 103.52 EUR, größter Preis: 135.98 EUR, Mittelwert: 110.01 EUR
Formal Development of a Network-Centric RTOS - Bernhard H.C. Sputh, Eric Verhulst, José Miguel Sampaio Faria, Raymond T. Boute, Vitaliy Mezhuyev
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bernhard H.C. Sputh, Eric Verhulst, José Miguel Sampaio Faria, Raymond T. Boute, Vitaliy Mezhuyev:

Formal Development of a Network-Centric RTOS - neues Buch

8, ISBN: 9781441997364

ID: 203179781441997364

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, 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. Circuits, Electronics, Formal Development of a Network-Centric RTOS~~ Bernhard H.C. Sputh, Eric Verhulst, José Miguel Sampaio Faria, Raymond T. Boute, Vitaliy Mezhuyev~~Circuits~~Electronics~~9781441997364, en, Formal Development of a Network-Centric RTOS, Bernhard H.C. Sputh, Eric Verhulst, José Miguel Sampaio Faria, Raymond T. Boute, Vitaliy Mezhuyev, 9781441997364, Springer, 08/23/2011, , , , Springer, 08/23/2011

Neues Buch Kobo
E-Book zum download Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Development of a Network-Centric RTOS - Software Engineering for Reliable Embedded Systems - Verhulst, Eric; Boute, Raymond T.; Faria, José Miguel Sampaio; Sputh, Bernhard H.C.; Mezhuyev, Vitaliy
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Verhulst, Eric; Boute, Raymond T.; Faria, José Miguel Sampaio; Sputh, Bernhard H.C.; Mezhuyev, Vitaliy:

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

2011, ISBN: 1441997369

ID: 9781441997364

In englischer Sprache. Verlag: Springer US, This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. Using the formal methods described in this book produces results that are more reliable and will have higher performance. PC-PDF, 219 Seiten, XVII Seiten, 219 Seiten, [GR: 9684 - Nonbooks, PBS / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik], [SW: - Anlagenbau Elektronik und Nachrichtentechnik (Kommunikationstechnik)], [Ausgabe: 2011][PU:Springer US], [PU: Springer]

Neues Buch Libreka.de
Libreka
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Development of a Network-Centric RTOS - Eric Verhulst;  Raymond T. Boute;  José Miguel Sampaio Faria;  Bernhard H.C. Sputh;  Vitaliy Mezhuye
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuye:
Formal Development of a Network-Centric RTOS - Erstausgabe

2011

ISBN: 9781441997364

ID: 22734465

Software Engineering for Reliable Embedded Systems, [ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer Science + Business Media]

Neues Buch Lehmanns.de
Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Development of a Network-Centric RTOS - Eric Verhulst;  Raymond T. Boute;  José Miguel Sampaio Faria;  Bernhard H.C. Sputh;  Vitaliy Mezhuyev
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuyev:
Formal Development of a Network-Centric RTOS - Erstausgabe

2011, ISBN: 9781441997364

ID: 22734465

Software Engineering for Reliable Embedded Systems, [ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer-Verlag]

Neues Buch Lehmanns.de
Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Development of a Network-Centric RTOS - Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuyev
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuyev:
Formal Development of a Network-Centric RTOS - neues Buch

2011, ISBN: 9781441997364

ID: 22734465

Software Engineering for Reliable Embedded Systems, [ED: 2011], eBook Download (PDF), eBooks, [PU: Springer US]

Neues Buch Lehmanns.de
Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Formal Development of a Network-Centric RTOS
Autor:

Verhulst, Eric;Boute, Raymond T.;Faria, José Miguel Sampaio;Sputh, Bernhard H. C.;Mezhuyev, Vitaliy

Titel:

Formal Development of a Network-Centric RTOS

ISBN-Nummer:

9781441997364

Detailangaben zum Buch - Formal Development of a Network-Centric RTOS


EAN (ISBN-13): 9781441997364
ISBN (ISBN-10): 1441997369
Erscheinungsjahr: 2011
Herausgeber: Springer US
219 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 26.07.2012 09:26:35
Buch zuletzt gefunden am 29.06.2016 15:20:27
ISBN/EAN: 9781441997364

ISBN - alternative Schreibweisen:
1-4419-9736-9, 978-1-4419-9736-4

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher