Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Softcover reprint of the original 1st ed. 2018
Book Details
Format
Paperback / Softback
ISBN-10
981135054X
ISBN-13
9789811350542
Edition
Softcover reprint of the original 1st ed. 2018
Publisher
Springer Verlag, Singapore
Imprint
Springer Verlag, Singapore
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jan 4th, 2019
Print length
132 Pages
Ksh 18,000.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
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.
