Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Hardcover. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
23.5 cm x 15.5 cm, 0 g. XII, 132 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Zustand: NEW.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 111,24
Anzahl: 1 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 121,90
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. In English.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 116,76
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: New.
EUR 99,71
Anzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 127,65
Anzahl: 1 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer Verlag, Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 145,08
Anzahl: 1 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer Verlag, Singapore, SG, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 153,82
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: New. 1st ed. 2018.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 143,86
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 132 pages. 9.25x6.10x0.47 inches. In Stock.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. Softcover reprint of the original 1st ed. 2018 edition NO-PA16APR2015-KAP.
Sprache: Englisch
Verlag: Springer Verlag, Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Anbieter: PBShop.store US, Wood Dale, IL, USA
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Formal Methods for Safety and Security | Case Studies for Aerospace Applications | Manju Nanda (u. a.) | Taschenbuch | xii | Englisch | 2019 | Springer | EAN 9789811350542 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 169,94
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.
Zustand: New. Provides a user experience in formal methodsProvides applicability/case studies of formal methods to the safety critical community that wants to implement thisProvides benchmark problems and application cases of formal methods.
Sprache: Englisch
Verlag: Springer Nature Singapore, Springer Nature Singapore, 2019
ISBN 10: 981135054X ISBN 13: 9789811350542
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
Sprache: Englisch
Verlag: Springer Nature Singapore, Springer Nature Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 199,80
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.
Sprache: Englisch
Verlag: Springer Verlag, Singapore, SG, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 143,73
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: New. 1st ed. 2018. This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government RandD scientists. The contents of this book will be useful to researchers and professionals alike.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 193,84
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 94,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 102,25
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer Nature Singapore, Springer Nature Singapore Jan 2019, 2019
ISBN 10: 981135054X ISBN 13: 9789811350542
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 -This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. 144 pp. Englisch.
Anbieter: moluna, Greven, Deutschland
EUR 98,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a user experience in formal methodsProvides applicability/case studies of formal methods to the safety critical community that wants to implement thisProvides benchmark problems and application cases of formal methods.
Sprache: Englisch
Verlag: Springer Nature Singapore Nov 2017, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. 144 pp. Englisch.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 161,45
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.