Idioma: Inglés
Publicado por Independently published, 2017
ISBN 10: 1549917978 ISBN 13: 9781549917974
Librería: Revaluation Books, Exeter, Reino Unido
EUR 14,87
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. Day, Alustriel Ilustrador. 127 pages. 7.81x5.06x0.32 inches. In Stock.
Idioma: Inglés
Publicado por Independently published, 2017
ISBN 10: 1549917978 ISBN 13: 9781549917974
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
EUR 33,11
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Day, Alustriel Ilustrador. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 138,92
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 135,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 135,15
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 152,86
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 240.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 156,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 175,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 172,09
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 236 pages. 9.25x6.10x0.55 inches. In Stock.
Idioma: Inglés
Publicado por Springer US, Springer US, 2014
ISBN 10: 148999288X ISBN 13: 9781489992888
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 120,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 173,88
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 715 pages. 9.25x6.10x1.60 inches. In Stock.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc., US, 2011
ISBN 10: 1441997350 ISBN 13: 9781441997357
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 193,24
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. 2011 ed. 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.
Librería: Buchpark, Trebbin, Alemania
EUR 93,23
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 189,20
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 166,62
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 229,80
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 219 pages. 9.50x6.25x0.75 inches. In Stock.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 234,12
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 224,67
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc., US, 2011
ISBN 10: 1441997350 ISBN 13: 9781441997357
Librería: Rarewaves.com UK, London, Reino Unido
EUR 183,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. 2011 ed. 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 258,65
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer Nature Singapore, Springer Nature Singapore Aug 2020, 2020
ISBN 10: 9811023468 ISBN 13: 9789811023460
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 427,99
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware -This book presents state of the art knowledge aimed at understanding the clinical and socio-cultural factors that affect mental health of children and adolescents. It comprehensively covers the latest developments in the scientific study of mental health and illness of children and adolescents. The book is particularly important in the face of rapidly changing conditions globally and challenges such as migration, war, violence, and child labour that have an impact on the mental health of children.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 744 pp. Englisch.
Idioma: Inglés
Publicado por Springer Nature Singapore, Springer Nature Singapore, 2020
ISBN 10: 9811023468 ISBN 13: 9789811023460
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 436,89
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents state of the art knowledge aimed at understanding the clinical and socio-cultural factors that affect mental health of children and adolescents. It comprehensively covers the latest developments in the scientific study of mental health and illness of children and adolescents. The book is particularly important in the face of rapidly changing conditions globally and challenges such as migration, war, violence, and child labour that have an impact on the mental health of children.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 94,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer US, Springer US Okt 2014, 2014
ISBN 10: 148999288X ISBN 13: 9781489992888
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 106,95
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 126,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: moluna, Greven, Alemania
EUR 98,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 159,53
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 240 This item is printed on demand.
Librería: preigu, Osnabrück, Alemania
EUR 102,20
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Formal Development of a Network-Centric RTOS | Software Engineering for Reliable Embedded Systems | Eric Verhulst (u. a.) | Taschenbuch | xvii | Englisch | 2014 | Springer US | EAN 9781489992888 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 162,51
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 240.
Idioma: Inglés
Publicado por Springer US, Springer US Okt 2014, 2014
ISBN 10: 148999288X ISBN 13: 9781489992888
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 117,69
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.