Formal Methods for Safety and Security : Case Studies for Aerospace Applications
1st ed. 2018
Book Details
Format
Hardback or Cased Book
ISBN-10
9811041202
ISBN-13
9789811041204
Edition
1st ed. 2018
Publisher
Springer Verlag, Singapore
Imprint
Springer Verlag, Singapore
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 22nd, 2017
Print length
132 Pages
Weight
374 grams
Dimensions
24.40 x 16.20 x 1.30 cms
AI Summary
Ksh 19,800.00
Temporarily out of stock, due soon
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
Get Formal Methods for Safety and Security by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Verlag, Singapore and it has pages.
Discover books you might love based on this title.
More in This Genre
How to Kill an Asteroid
Ksh 3,700.00
Apollo in Perspective
Ksh 25,200.00
De Havilland Enterprises: A History
Ksh 3,550.00
Mission Geometry; Orbit and Constellation Design and Management
Ksh 47,350.00
Proceedings of the International Conference on Radioscience, Equatorial Atmospheric Science and Environment and Humanosphere Science, 2021
Ksh 32,400.00
Testing Aircraft, Exploring Space
Ksh 7,450.00
