Gesamtpreis (1 Artikel Artikel):
Versandziel:
formal development network centric rtos von verhulst eric (23 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (23)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (11)
- Keine Print-on-Demand Angebote (15)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 219 | Sprache: Englisch | Produktart: Bücher.
-
Formal Development of a Network-Centric RTOS : Software Engineering for Reliable Embedded Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 120,54
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 144,69
Währung umrechnenEUR 5,91 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Development of a Network-Centric RTOs : Software Engineering for Reliable Embedded Systems
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 136,72
Währung umrechnenEUR 17,79 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Development of a Network-Centric RTOs : Software Engineering for Reliable Embedded Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 138,57
Währung umrechnenEUR 17,49 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Development of a Network-Centric Rtos : Software Engineering for Reliable Embedded Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 164,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
EUR 169,73
Währung umrechnenEUR 7,88 für den Versand von USA nach DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 240.
-
Formal Development of a Network-Centric Rtos: Software Engineering for Reliable Embedded Systems
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 176,85
Währung umrechnenEUR 11,86 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 236 pages. 9.25x6.10x0.55 inches. In Stock.
-
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 180,28
Währung umrechnenEUR 8,75 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 179,61
Währung umrechnenEUR 29,66 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 159,98
Währung umrechnenEUR 65,64 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 236,61
Währung umrechnenEUR 11,86 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 219 pages. 9.50x6.25x0.75 inches. In Stock.
-
Formal Development of a Network-Centric RTOs : Software Engineering for Reliable Embedded Systems
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 241,92
Währung umrechnenEUR 17,79 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 232,15
Währung umrechnenEUR 29,66 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
-
Formal Development of a Network-Centric RTOs : Software Engineering for Reliable Embedded Systems
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 267,28
Währung umrechnenEUR 17,49 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
EUR 98,54
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 soft.
-
Formal Development of a Network-Centric RTOS
Verlag: Springer US, Springer US Okt 2014, 2014
ISBN 10: 148999288X ISBN 13: 9781489992888
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 106,95
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 240 pp. Englisch.
-
Formal Development of a Network-Centric RTOS
Verlag: Springer US, Springer US Okt 2014, 2014
ISBN 10: 148999288X ISBN 13: 9781489992888
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 117,69
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.
-
EUR 137,26
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 soft.
-
Formal Development of a Network-Centric Rtos
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 160,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 219 pp. Englisch.
-
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Verlag: Springer-Verlag New York Inc., 2011
ISBN 10: 1441997350 ISBN 13: 9781441997357
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 167,86
Währung umrechnenEUR 7,08 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 544.
-
Formal Development of a Network-Centric RTOS: Software.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 174,28
Währung umrechnenEUR 10,50 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 240 This item is printed on demand.
-
Formal Development of a Network-Centric RTOS: Software.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 179,78
Währung umrechnenEUR 2,30 für den Versand innerhalb von/der DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND pp. 240.
