Formal Methods for Safety and Security: Case Studies for Aerospace Applications - Nanda - Grāmatas - Springer Verlag, Singapore - 9789811041204 - 2017. gada 22. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 119,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 7. - 17. aug.
Saņemiet paziņojumus par jauniem Nanda izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2017. gada 22. novembris
ISBN13 9789811041204
Izdevēji Springer Verlag, Singapore
Lapas 132
Izmēri 162 × 244 × 13 mm   ·   374 g
Redaktors Jeppu, Yogananda
Redaktors Nanda, Manju

Vairāk no Nanda

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Nanda ( piem., Book , Hardcover Book un Paperback Book )