Formal Methods for Safety and Security
Case Studies for Aerospace Applications
Vše od
Springer Verlag, Singapore
ISBN: 9789811350542
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.
2 937 Kč
- 1 - 2 ks
- 2 937 Kč
- 3 - 10 ks
- 2 908 Kč
- 11 a více ks
- 2 879 Kč
Naše cena 2 937 Kč je o 6 % nižší než
doporučená cena výrobce 3 125 Kč.
Předpoklad doručení do 27. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Springer Verlag, Singapore ↓
Interplay of Geo-Politics and Geo-Economics in PakistanÂ’s Foreign Policy (Post-2008)
do 27. května3 231 Kč
2 937 Kč
Více o produktu ↓
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.
- Výrobce
- Springer Verlag, Singapore
- Jazyk
- Singapore
- Rozměry
- 235 x 155
- Rok vydání
- 2019
- Počet stran
- 132
- Obsah
- Paperback / softback
- Počet stran
- 132 pages, 24 Illustrations, color; 18 Illustrations, black and white; XII, 132 p. 42 illus., 24 ill
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Formal Methods for Safety and Security a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
