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
Space Systems Failures
Ksh 9,550.00
Combinatorial, Linear, Integer and Nonlinear Optimization Apps
Ksh 6,650.00
Beyond Airline Disruptions
Ksh 9,900.00
Calculus Without Derivatives
Ksh 13,050.00
Artificial Intelligence and Machine Learning in Satellite Data Processing and Services
Ksh 45,000.00
The Amazing Gooney Bird
Ksh 7,400.00
