New
Arrivals/Restock
Formal Methods for Safety and Security: Case Studies for Aerospace Applications
4.1 (133 items)
Limited Time SaleUntil the end
23
19
42
US$53.40 cheaper than the new price!!
Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Free cash-on-delivery fees for purchases over $99
See all stores
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used US$35.60
Product details
| Management number | 231889473 | Release Date | 2026/06/18 | List Price | US$35.60 | Model Number | 231889473 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 9811041202 |
|---|---|
| ISBN13 | 978-9811041204 |
| Edition | 1st ed. 2018 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.48 x 0.57 x 9.7 inches |
| Item Weight | 13.2 ounces |
| Print length | 144 pages |
| Publication date | November 22, 2017 |
Bestseller ranking
Intake Manifolds
Customers who viewed this product also viewed
Electric Throw Blankets
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form