Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Vše od
Springer Nature Switzerland AG
ISBN: 9783030945824
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions.
2 350 Kč
- 1 - 2 ks
- 2 350 Kč
- 3 - 10 ks
- 2 327 Kč
- 11 a více ks
- 2 304 Kč
Naše cena 2 350 Kč je o 6 % nižší než
doporučená cena výrobce 2 500 Kč.
Předpoklad doručení do 28. 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 Nature Switzerland AG ↓
2 350 Kč
Více o produktu ↓
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions.
- Výrobce
- Springer Nature Switzerland AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2022
- Počet stran
- 520
- Obsah
- Paperback / softback
- Počet stran
- 520 pages, 80 Illustrations, color; 74 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Verification, Model Checking, and Abstract Interpretation 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!
