Systems and Software Verification
Model-Checking Techniques and Tools
Vše od
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642074783
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking...
3 525 Kč
- 1 - 2 ks
- 3 525 Kč
- 3 - 10 ks
- 3 490 Kč
- 11 a více ks
- 3 456 Kč
Naše cena 3 525 Kč je o 6 % nižší než
doporučená cena výrobce 3 750 Kč.
Předpoklad doručení do 5. č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 ↓
3 525 Kč
Více o produktu ↓
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.
- Výrobce
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Jazyk
- Germany
- Autor
- Berard, B.;Bidoit, M.;Finkel, A.;Laroussinie, F.;Petit, A.;Petrucci, L.;Schnoebelen, P.
- Rozměry
- 157 x 233 x 18
- Rok vydání
- 2010
- Počet stran
- 190
- Obsah
- Paperback / softback
- Hmotnost
- 328
- Počet stran
- 190 pages, XII, 190 p.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Systems and 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!
