Zustand: New.
Zustand: New.
Zustand: As New. Unread book in perfect condition.
Zustand: New.
Sprache: Deutsch
Verlag: Springer Vieweg 2015-09-30, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 62,64
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 64,70
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In German.
Zustand: New. pp. 247.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 64,69
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 72,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: Scitus Academics LLC, 2019
ISBN 10: 1681179830 ISBN 13: 9781681179834
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Sprache: Deutsch
Verlag: Springer Fachmedien Wiesbaden, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Anbieter: moluna, Greven, Deutschland
EUR 59,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Deutsch
Verlag: Springer Fachmedien Wiesbaden, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Sprache: Deutsch
Verlag: Springer Fachmedien Wiesbaden, Springer Fachmedien Wiesbaden Sep 2015, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. 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.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 264 pp. Deutsch.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 75,70
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 247.
Sprache: Deutsch
Verlag: Springer Fachmedien Wiesbaden Sep 2015, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 247.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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 Print on Demand.