Order Total (1 Item Items):
Shipping Destination:
Formal Methods Safety Security (35 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (35)
- 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 (31)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (1)
- 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 (16)
- Not Print on Demand (23)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
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.
-
Condition: As New. Unread book in perfect condition.
-
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English.
-
Hardcover. Condition: New.
-
Condition: NEW.
-
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Formal Methods for Safety and Security
Language: English
Published by Springer Verlag, Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods for Safety and Security
Language: English
Published by Springer Verlag, Singapore, SG, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. 1st ed. 2018.
-
Hardcover. Condition: Brand New. 132 pages. 9.25x6.10x0.47 inches. In Stock.
-
Condition: New. Softcover reprint of the original 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
Formal Methods for Safety and Security
Language: English
Published by Springer Verlag, Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
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.
-
Paperback. Condition: Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.
-
Condition: 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.
-
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.
-
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Language: English
Published by Springer Nature Singapore, Springer Nature Singapore, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
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: Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.
-
Formal Methods for Safety and Security
Language: English
Published by Springer Verlag, Singapore, SG, 2017
ISBN 10: 9811041202 ISBN 13: 9789811041204
Hardback. Condition: 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.
-
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. Print on Demand.
-
Condition: New. PRINT ON DEMAND.
