Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 57,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 69,21
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 65,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In German.
Idioma: Alemán
Publicado por Springer Vieweg 2015-09-30, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Librería: Chiron Media, Wallingford, Reino Unido
EUR 62,44
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 65,36
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 72,59
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 86,88
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 247.
Publicado por Scitus Academics LLC, 2019
ISBN 10: 1681179830 ISBN 13: 9781681179834
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 149,25
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Idioma: Alemán
Publicado por Springer Fachmedien Wiesbaden, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Librería: moluna, Greven, Alemania
EUR 59,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Alemán
Publicado por Springer Fachmedien Wiesbaden, Springer Gabler, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 59,99
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und Zuverlässigkeitsanforderungen in der Luft- und Raumfahrt vorgestellt. Es orientiert sich am Leitmotiv 'Correctness by Construction' und bildet die komplexe Problematik auf ein Constraint Satisfaction Problem ab. Das Verfahren wird als Softwarewerkzeug realisiert und dessen Einsatz anhand von zwei Fallbeispielen aus der Luft- und Raumfahrt demonstriert. Der Autor zeigt, dass diese aufwändige und fehlerträchtige Aufgabe automatisierbar ist, sodass korrekte Platzierungen für Systeme realer Größe innerhalb weniger Minuten auf regulären Desktop-Computern konstruiert werden können.
Librería: preigu, Osnabrück, Alemania
EUR 59,99
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Platzierung von Softwarekomponenten auf Mehrkernprozessoren | Automatisierte Konstruktion und Analyse für funktionssichere Systeme | Robert Hilbrich | Taschenbuch | xiii | Deutsch | 2015 | Springer Gabler | EAN 9783658111724 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 51,09
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Alemán
Publicado por Springer Fachmedien Wiesbaden Sep 2015, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 59,99
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und Zuverlässigkeitsanforderungen in der Luft- und Raumfahrt vorgestellt. Es orientiert sich am Leitmotiv 'Correctness by Construction' und bildet die komplexe Problematik auf ein Constraint Satisfaction Problem ab. Das Verfahren wird als Softwarewerkzeug realisiert und dessen Einsatz anhand von zwei Fallbeispielen aus der Luft- und Raumfahrt demonstriert. Der Autor zeigt, dass diese aufwändige und fehlerträchtige Aufgabe automatisierbar ist, sodass korrekte Platzierungen für Systeme realer Größe innerhalb weniger Minuten auf regulären Desktop-Computern konstruiert werden können. 264 pp. Deutsch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 86,01
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 247.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 87,19
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 247.
Idioma: Alemán
Publicado por Springer Fachmedien Wiesbaden, Springer Gabler Sep 2015, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 59,99
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und Zuverlässigkeitsanforderungen in der Luft- und Raumfahrt vorgestellt. Es orientiert sich am Leitmotiv ¿Correctness by Construction¿ und bildet die komplexe Problematik auf ein Constraint Satisfaction Problem ab. Das Verfahren wird als Softwarewerkzeug realisiert und dessen Einsatz anhand von zwei Fallbeispielen aus der Luft- und Raumfahrt demonstriert. Der Autor zeigt, dass diese aufwändige und fehlerträchtige Aufgabe automatisierbar ist, sodass korrekte Platzierungen für Systeme realer Größe innerhalb weniger Minuten auf regulären Desktop-Computern konstruiert werden können.VS Verlag für Sozialw., Abraham-Lincoln-Straße 46, 65189 Wiesbaden 264 pp. Deutsch.