Formal Methods for Safety and Security: Case Studies for Aerospace Applications - Nanda - Bøker - Springer Verlag, Singapore - 9789811041204 - 22. november 2017
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.139

Bestillingsvarer

Forventes levert 5. - 13. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Nanda

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 22. november 2017
ISBN13 9789811041204
Utgivere Springer Verlag, Singapore
Antall sider 132
Mål 162 × 244 × 13 mm   ·   374 g
Redaktør Jeppu, Yogananda
Redaktør Nanda, Manju

Mer med Nanda

Vis alle

Mer fra samme **utgiver**

Se alt med Nanda