Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Boeken - Springer Verlag, Singapore - 9789811041204 - 22 november 2017
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 116,99

Besteld in een afgelegen magazijn

Verwachte levering 3 - 11 jul.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
Eller

Ook verkrijgbaar als:

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

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 22 november 2017
ISBN13 9789811041204
Uitgevers Springer Verlag, Singapore
Pagina's 132
Afmetingen 162 × 244 × 13 mm   ·   374 g
Uitgever Jeppu, Yogananda
Uitgever Nanda, Manju