Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 57,79
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 68,99
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 65,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In German.
Lingua: Tedesco
Editore: Springer Vieweg 2015-09-30, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Da: Chiron Media, Wallingford, Regno Unito
EUR 62,54
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 65,47
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New. pp. 247.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 72,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Scitus Academics LLC, 2019
ISBN 10: 1681179830 ISBN 13: 9781681179834
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Tedesco
Editore: Springer Fachmedien Wiesbaden, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Da: moluna, Greven, Germania
EUR 59,99
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Tedesco
Editore: Springer Fachmedien Wiesbaden, Springer Gabler, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 59,99
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 59,99
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 51,09
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Tedesco
Editore: Springer Fachmedien Wiesbaden Sep 2015, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 59,99
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 85,74
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 247.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 87,19
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 247.
Lingua: Tedesco
Editore: Springer Fachmedien Wiesbaden, Springer Gabler Sep 2015, 2015
ISBN 10: 3658111720 ISBN 13: 9783658111724
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 59,99
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.