Formal Methods for Safety and Security: Case Studies for Aerospace Applications
US$35.60
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by mulhernleonard.ie
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$35.60
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by mulhernleonard.ie
Free 30-day returns Details
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
Dirt Bike Front Fenders
Customers who viewed this product also viewed
Wall Mounted Headboards
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