Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Books - Springer Verlag, Singapore - 9789811350542 - January 4, 2019
In case cover and title do not match, the title is correct

Formal Methods for Safety and Security: Case Studies for Aerospace Applications Softcover reprint of the original 1st ed. 2018 edition

Price
Íkr 14,139
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 5 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

132 pages, 24 Tables, color; 24 Illustrations, color; 18 Illustrations, black and white; XII, 132 p.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 4, 2019
ISBN13 9789811350542
Publishers Springer Verlag, Singapore
Pages 132
Dimensions 150 × 220 × 10 mm   ·   261 g
Language English  
Editor Jeppu, Yogananda
Editor Nanda, Manju

Mere med samme udgiver