Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
Vše od
Springer International Publishing AG
ISBN: 9783031014239
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.
675 Kč
- 1 - 2 ks
- 675 Kč
- 3 - 10 ks
- 668 Kč
- 11 a více ks
- 662 Kč
Naše cena 675 Kč je o 6 % nižší než
doporučená cena výrobce 719 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 ↓
675 Kč
Více o produktu ↓
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Autor
- Pasareanu, Corina S.
- Rozměry
- 235 x 191
- Rok vydání
- 2020
- Počet stran
- 65
- Obsah
- Paperback / softback
- Počet stran
- 65 pages, IX, 65 p.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Symbolic Execution and Quantitative Reasoning 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!
