SPIN Verification System
Vše od
American Mathematical Society
ISBN: 9780821806807
What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996.
1 906 Kč
- 1 - 2 ks
- 1 906 Kč
- 3 - 10 ks
- 1 887 Kč
- 11 a více ks
- 1 869 Kč
Předpoklad doručení do 27. 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 ↓
1 906 Kč
Více o produktu ↓
What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996.
- Výrobce
- American Mathematical Society
- Jazyk
- United States
- Rok vydání
- 1997
- Obsah
- Hardback
- Počet stran
- illustrations
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s SPIN Verification System 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!
