Share
Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Nanda, Manju ; Jeppu, Yogananda (Author)
·
Springer
· Paperback
Formal Methods for Safety and Security: Case Studies for Aerospace Applications - Nanda, Manju ; Jeppu, Yogananda
£ 128.56
£ 142.84
You save: £ 14.28
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Thursday, June 20 and
Friday, June 21.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Formal Methods for Safety and Security: Case Studies for Aerospace Applications"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.