Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
EUR 14,00
Quantità: 1 disponibili
Aggiungi al carrello23.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.
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Condizione: NEW.
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 111,30
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 120,99
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. In English.
Da: Chiron Media, Wallingford, Regno Unito
EUR 115,90
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 126,61
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 98,97
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: NEW.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. Softcover reprint of the original 1st ed. 2018 edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Springer Verlag, Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 144,01
Quantità: 1 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: Springer Verlag, Singapore, SG, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 152,23
Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: New. 1st ed. 2018.
Da: Revaluation Books, Exeter, Regno Unito
EUR 142,79
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 132 pages. 9.25x6.10x0.47 inches. In Stock.
Lingua: Inglese
Editore: Springer Verlag, Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Da: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Da: preigu, Osnabrück, Germania
EUR 104,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Revaluation Books, Exeter, Regno Unito
EUR 168,73
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.
EUR 128,35
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Inglese
Editore: Springer Nature Singapore, Springer Nature Singapore, 2019
ISBN 10: 981135054X ISBN 13: 9789811350542
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 120,54
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Nature Singapore, Springer Nature Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 139,14
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
Da: Revaluation Books, Exeter, Regno Unito
EUR 198,33
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.
Lingua: Inglese
Editore: Springer Verlag, Singapore, SG, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Da: Rarewaves.com UK, London, Regno Unito
EUR 142,67
Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: 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.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 192,40
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 94,25
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 102,25
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer Nature Singapore, Springer Nature Singapore Jan 2019, 2019
ISBN 10: 981135054X ISBN 13: 9789811350542
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 117,69
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: moluna, Greven, Germania
EUR 98,54
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 149,25
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Lingua: Inglese
Editore: Springer Nature Singapore Nov 2017, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 128,39
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 151,65
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.