Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Boeken - Springer Verlag, Singapore - 9789811350542 - 4 januari 2019
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 104,49

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 okt.

Onze klanten zeggen:

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

Nog niet beoordeeld

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 4 januari 2019
ISBN13 9789811350542
Uitgevers Springer Verlag, Singapore
Pagina's 132
Afmetingen 150 × 220 × 10 mm   ·   261 g
Taal en grammatica Engels  
Uitgever Jeppu, Yogananda
Uitgever Nanda, Manju

Meer van dezelfde uitgever