Formal Methods for Safety and Security
Case Studies for Aerospace Applications
Vše od
Springer Verlag, Singapore
ISBN: 9789811041204
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.
3 231 Kč
- 1 - 2 ks
- 3 231 Kč
- 3 - 10 ks
- 3 199 Kč
- 11 a více ks
- 3 168 Kč
Naše cena 3 231 Kč je o 6 % nižší než
doporučená cena výrobce 3 437 Kč.
Předpoklad doručení do 11. 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č
3 231 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
- 244 x 162 x 13
- Rok vydání
- 2017
- Počet stran
- 132
- Obsah
- Hardback
- Hmotnost
- 374
- 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!
