New
Arrivals/Restock
Formal Methods for Safety and Security: Case Studies for Aerospace Applications
4.4 (53 items)
Limited Time SaleUntil the end
13
52
41
US$61.80 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$41.20
Product details
| Management number | 231716471 | Release Date | 2026/06/18 | List Price | US$41.20 | Model Number | 231716471 | ||
|---|---|---|---|---|---|---|---|---|---|
| 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 | 981135054X |
|---|---|
| ISBN13 | 978-9811350542 |
| Edition | Softcover reprint of the original 1st ed. 2018 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.33 x 9.25 inches |
| Item Weight | 8 ounces |
| Print length | 144 pages |
| Publication date | January 4, 2019 |
Bestseller ranking
Clear Handbags
Customers who viewed this product also viewed
Iowa State Cyclones Bedding & 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