Tools for Practical Software Verification
International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Vše od
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642357459
The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get...
1 175 Kč
- 1 - 2 ks
- 1 175 Kč
- 3 - 10 ks
- 1 163 Kč
- 11 a více ks
- 1 152 Kč
Naše cena 1 175 Kč je o 6 % nižší než
doporučená cena výrobce 1 250 Kč.
Předpoklad doručení do 3. č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-Verlag Berlin and Heidelberg GmbH & Co. KG ↓
1 175 Kč
Více o produktu ↓
The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
- Výrobce
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Jazyk
- Germany
- Rozměry
- 235 x 155
- Rok vydání
- 2012
- Počet stran
- 183
- Obsah
- Paperback / softback
- Počet stran
- 183 pages, 31 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Tools for Practical Software 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!
