Computer-aided Verification
Vše od
American Mathematical Society
ISBN: 9780821865941
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed...
3 844 Kč
- 1 - 2 ks
- 3 844 Kč
- 3 - 10 ks
- 3 806 Kč
- 11 a více ks
- 3 769 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 844 Kč
Více o produktu ↓
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.
- Výrobce
- American Mathematical Society
- Jazyk
- United States
- Rok vydání
- 1991
- Obsah
- Hardback
- Počet stran
- illustrations
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Computer-aided 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!
