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
Ksh 19,800.00
Werezi Extended Catalogue
Delivery in 14 days
1 copies in stock
Delivery Location
Delivery fee: Select location
Delivery in 14 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.
