NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Vše od
Springer International Publishing AG
ISBN: 9783319406473
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.
1 615 Kč
- 1 - 2 ks
- 1 615 Kč
- 3 - 10 ks
- 1 599 Kč
- 11 a více ks
- 1 583 Kč
Naše cena 1 615 Kč je o 6 % nižší než
doporučená cena výrobce 1 719 Kč.
Předpoklad doručení do 6. června *
* 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 International Publishing AG ↓
1 615 Kč
Více o produktu ↓
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2016
- Počet stran
- 396
- Obsah
- Paperback / softback
- Počet stran
- 396 pages, 129 Illustrations, black and white; XIX, 396 p. 129 illus.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s NASA Formal Methods 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!
