Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Development of a Network-Centric RTOS

Software Engineering for Reliable Embedded Systems

Sprache EnglischEnglisch
Buch Hardcover
Buch Formal Development of a Network-Centric RTOS Eric Verhulst
Libristo-Code: 01424597
Verlag Springer-Verlag New York Inc., August 2011
This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. O... Vollständige Beschreibung
? points 320 b
130.79 € inkl. MwSt.
Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Das könnte Sie auch interessieren

Behavioral Sport Psychology JAMES K. LUISELLI / Buch Broschur
common.buy 89.69 €
Intelligent Techniques and Tools for Novel System Architectures Panagiotis Chountas / Buch Broschur
common.buy 203.39 €
Chemical Signals in Vertebrates Dietland Muller-Schwarze / Buch Broschur
common.buy 101.79 €
Top
Immense World Ed Yong / Buch Broschur
common.buy 12.49 €
Top
The Box of Emotions Tiffany Watt Smith / Drucksachen Karten
common.buy 13.79 €
Top
Fluent Python Luciano Ramalho / Buch Broschur
common.buy 48.09 €
Top
Wandering Witch: The Journey of Elaina, Vol. 3 (light novel) Nicole Wilder / Buch Broschur
common.buy 9.79 €
Top
Dragon Age: The First Five Graphic Novels David Gaider / Buch Broschur
common.buy 18.19 €
Top
Vincent van Gogh: Starry Night over the Rhone (Foiled Blank Journal) Flame Tree Studio / Kalender/Terminbuch Terminbuch
common.buy 9.39 €
Top
Midnight Library Matt Haig / Buch Hardcover
common.buy 17.89 €
Top
Pokemon Crochet Sabrina Somers / Buch Broschur
common.buy 12.69 €
Top
The Love Poems of Rumi Rumi / Buch Hardcover
common.buy 9.19 €
Look At Me I'm Learning Polish Kleverton Monteiro / Buch Broschur
common.buy 9.19 €
Top
Drive Your Plow Over the Bones of the Dead Olga Tokarczuk / Buch Broschur
common.buy 8.99 €
Soul Color: A Ten Week Watercolor Painting Course to Cultivate Mindfulness and Creativity BURLEIGH EMMA / Buch Broschur
common.buy 10.79 €
Top
Practice Makes Perfect: Basic Spanish, Premium Third Edition Dorothy Richmond / Buch Broschur
common.buy 10.99 €
Top Demnächst
Classmates: Dou kyu sei, Vol. 1 Asumiko Nakamura / Buch Broschur
common.buy 9.19 €
Top
Set Of 3 Moleskine Extra Large Plain Cahier Journals Moleskine / Kalender/Terminbuch Terminbuch
common.buy 18.99 €
Top
Demon Slayer: Kimetsu no Yaiba, Vol. 6 Koyoharu Gotouge / Buch Broschur
common.buy 8.29 €
Top
Bleach, Vol. 74 Tite Kubo / Buch Broschur
common.buy 9.79 €
Top
Harry Potter: The Postcard Collection Insight Editions / Drucksachen Plakat
common.buy 13.99 €
Top
Why We Sleep Matthew Walker / Buch Broschur
common.buy 14.49 €
Calligraphic Drawing Schin Loong / Buch Broschur
common.buy 15.59 €
Top
Alien Covenant: David's Drawings Dane Hallett / Buch Hardcover
common.buy 30.39 €

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 and higher performance. This methodology is unique because it covers the full range of product development, from requirements and specifications to the final execution platform. It is compatible with safety related engineering standards, such as IEC61508.§Uses formal methods to develop Network-centric Real-time Operating SystemsUnified Semantics provides a solid base for model driven systems development and can be tuned to an application-specific, concurrent programming paradigmMethods presented enable model-driven, high-reliability, high-performance software & systems engineeringCompatible with International Electrotechnical Commission (IEC) 61508, the standard governing functional safety of programmable electronic systems.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Development of a Network-Centric RTOS
Autor Eric Verhulst, Raymond T. Boute, José M. S. Faria, Bernhard H. C. Sputh
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2011
Anzahl der Seiten 219
EAN 9781441997357
ISBN 1441997350
Libristo-Code 01424597
Verlag Springer-Verlag New York Inc.
Gewicht 517
Abmessungen 155 x 235 x 20

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Konstruktion, Entwurf
EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?