Formal methods safety security (19 résultats)

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. …

Etat : New. Softcover reprint of the original 1st ed. 2018 edition NO-PA16APR2015-KAP.

Buch. Etat : 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.…

Taschenbuch. Etat : 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. Etat : Brand New. reprint edition. 144 pages. 9.25x6.10x0.33 inches. In Stock.

Paperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Etat : new. Questo è un articolo print on demand.

Etat : new. Questo è un articolo print on demand.

Taschenbuch. Etat : 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.…

Etat : 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.…

Buch. Etat : 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.…

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt 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.…

Etat : 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.…

Etat : New. Print on Demand.

Taschenbuch. Etat : 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.…

Etat : New. PRINT ON DEMAND.

Buch. Etat : 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.…

Etat : New. Print on Demand.

Etat : New. PRINT ON DEMAND.