Partial Order Methods in Verification
Vše od
American Mathematical Society
ISBN: 9780821805794
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order...
3 250 Kč
- 1 - 2 ks
- 3 250 Kč
- 3 - 10 ks
- 3 218 Kč
- 11 a více ks
- 3 186 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 American Mathematical Society ↓
3 250 Kč
Více o produktu ↓
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
- Výrobce
- American Mathematical Society
- Jazyk
- United States
- Rok vydání
- 1997
- Počet stran
- 403
- Obsah
- Hardback
- Hmotnost
- 964
- Počet stran
- 403 pages
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Partial Order Methods in 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!
