Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Kirjat - Springer Verlag, Singapore - 9789811041204 - keskiviikko 22. marraskuuta 2017
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
₪ 490,60

Tilattu etävarastosta

Arvioitu toimitus ti 27. touko - ke 4. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä keskiviikko 22. marraskuuta 2017
ISBN13 9789811041204
Tuottaja Springer Verlag, Singapore
Sivujen määrä 132
Mitta 162 × 244 × 13 mm   ·   374 g
Toimittaja Jeppu, Yogananda
Toimittaja Nanda, Manju