Order Total (1 Item Items):
Shipping Destination:
Nanda Manju (19 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (19)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (18)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (7)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Formal Methods for Safety and Security. Case Studies for Aerospace Applications.
Language: English
Published by Singapore, Springer., 2018
ISBN 10: 9811041202 ISBN 13: 9789811041204
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
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.
-
Condition: New. Softcover reprint of the original 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
Taschenbuch. Condition: 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.
-
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Language: English
Published by Springer Nature Singapore, Springer Nature Singapore, 2019
ISBN 10: 981135054X ISBN 13: 9789811350542
Taschenbuch. Condition: 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.
-
Paperback. Condition: Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.
-
Buch. Condition: 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.
-
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: new. Questo è un articolo print on demand.
-
Condition: new. Questo è un articolo print on demand.
-
Formal Methods for Safety and Security
Language: English
Published by Springer Nature Singapore, Springer Nature Singapore Jan 2019, 2019
ISBN 10: 981135054X ISBN 13: 9789811350542
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
Condition: 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.
-
Formal Methods for Safety and Security
Language: English
Published by Springer Nature Singapore Nov 2017, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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.
-
Condition: 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.
-
Condition: New. Print on Demand.
-
Condition: New. PRINT ON DEMAND.
-
Formal Methods for Safety and Security
Language: English
Published by Springer, Springer Jan 2019, 2019
ISBN 10: 981135054X ISBN 13: 9789811350542
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 144 pp. Englisch.
-
Condition: New. Print on Demand.
-
Formal Methods for Safety and Security
Language: English
Published by Springer, Springer Nov 2017, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 144 pp. Englisch.
-
Condition: New. PRINT ON DEMAND.
