Formal Methods for Safety and Security: Case Studies for Aerospace Applications - Nanda - Books - Springer Verlag, Singapore - 9789811041204 - November 22, 2017
In case cover and title do not match, the title is correct

Nanda
Formal Methods for Safety and Security: Case Studies for Aerospace Applications 1st ed. 2018 edition

Price
NZ$ 215.50
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 30 - Aug 11
Get notified about new Nanda releases

Our customers say:

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

Not rated yet

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.

112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 22, 2017
ISBN13 9789811041204
Publishers Springer Verlag, Singapore
Pages 132
Dimensions 162 × 244 × 13 mm   ·   374 g
Editor Jeppu, Yogananda
Editor Nanda, Manju

More by Nanda

Show all

More from the same publisher

See all of Nanda ( e.g. Book , Hardcover Book and Paperback Book )