Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Vše od
Princeton University Press
ISBN: 9780691606057
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design...
1 461 Kč
- 1 - 2 ks
- 1 461 Kč
- 3 - 10 ks
- 1 447 Kč
- 11 a více ks
- 1 432 Kč
Naše cena 1 461 Kč je o 15 % nižší než
doporučená cena výrobce 1 719 Kč.
Předpoklad doručení do 29. 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 Princeton University Press ↓
1 461 Kč
Více o produktu ↓
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
- Výrobce
- Princeton University Press
- Jazyk
- United States
- Autor
- Kurshan, Robert P.
- Rozměry
- 157 x 232 x 19
- Rok vydání
- 2014
- Počet stran
- 284
- Obsah
- Paperback / softback
- Hmotnost
- 458
- Počet stran
- 284 pages
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Computer-Aided Verification of Coordinating Processes 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!
