Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Vše od
Springer Nature Switzerland AG
ISBN: 9783030816872
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully...
1 028 Kč
- 1 - 2 ks
- 1 028 Kč
- 3 - 10 ks
- 1 018 Kč
- 11 a více ks
- 1 008 Kč
Naše cena 1 028 Kč je o 6 % nižší než
doporučená cena výrobce 1 094 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 Nature Switzerland AG ↓
1 028 Kč
Více o produktu ↓
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
- Výrobce
- Springer Nature Switzerland AG
- Jazyk
- Switzerland
- Rozměry
- 157 x 234 x 53
- Rok vydání
- 2021
- Počet stran
- 940
- Obsah
- Paperback / softback
- Hmotnost
- 1440
- Počet stran
- 940 pages, 234 Illustrations, color; 148 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Computer Aided Verification 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!
