Idioma: Inglés
Publicado por Independently published, 2017
ISBN 10: 1549917978 ISBN 13: 9781549917974
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
EUR 5,67
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. Day, Alustriel Ilustrador. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Idioma: Inglés
Publicado por Independently published, 2017
ISBN 10: 1549917978 ISBN 13: 9781549917974
Librería: Revaluation Books, Exeter, Reino Unido
EUR 7,56
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. Day, Alustriel Ilustrador. 127 pages. 7.81x5.06x0.32 inches. In Stock.
Publicado por 48 Hour Books, 2024
Librería: Redux Books, Grand Rapids, MI, Estados Unidos de America
EUR 12,82
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Paperback. Pages are clean and unmarked. Covers show very minor shelving wear.; 100% Satisfaction Guaranteed! Ships same or next business day!
Idioma: Inglés
Publicado por Springer (edition 2011), 2014
ISBN 10: 148999288X ISBN 13: 9781489992888
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
EUR 88,48
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 2011. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 138,04
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 136,52
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 136,51
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
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 176,80
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. 2011 ed.
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.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 177,47
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 175,21
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: 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 176,30
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 168,73
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.
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 166,08
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. 2011 ed.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 233,43
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 235,86
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 226,34
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 258,75
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 251,39
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 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.
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.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc., 2011
ISBN 10: 1441997350 ISBN 13: 9781441997357
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 165,50
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 160,49
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.