Verification, Model Checking, and Abstract Interpretation
24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Vše od
Springer International Publishing AG
ISBN: 9783031249495
The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and...
1 909 Kč
- 1 - 2 ks
- 1 909 Kč
- 3 - 10 ks
- 1 890 Kč
- 11 a více ks
- 1 872 Kč
Naše cena 1 909 Kč je o 6 % nižší než
doporučená cena výrobce 2 031 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 International Publishing AG ↓
1 909 Kč
Více o produktu ↓
The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Rozměry
- 235 x 155
- Rok vydání
- 2023
- Počet stran
- 389
- Obsah
- Paperback / softback
- Počet stran
- 389 pages, 80 Illustrations, color; 32 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!
