Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Vše od
Springer International Publishing AG
ISBN: 9783319221014
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization...
1 322 Kč
- 1 - 2 ks
- 1 322 Kč
- 3 - 10 ks
- 1 309 Kč
- 11 a více ks
- 1 296 Kč
Naše cena 1 322 Kč je o 6 % nižší než
doporučená cena výrobce 1 406 Kč.
Předpoklad doručení do 2. č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 322 Kč
Více o produktu ↓
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2015
- Počet stran
- 469
- Obsah
- Paperback / softback
- Počet stran
- 469 pages, 63 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Interactive Theorem Proving 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!
