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

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

Prijs
€ 113,99

Besteld in een afgelegen magazijn

Verwachte levering 27 nov. - 7 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Nanda

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.

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

Meer door Nanda

Alles tonen

Meer van dezelfde uitgever

Bekijk alles van Nanda