Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Vše od
Princeton University Press
ISBN: 9780691634890
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...
3 878 Kč
- 1 - 2 ks
- 3 878 Kč
- 3 - 10 ks
- 3 840 Kč
- 11 a více ks
- 3 802 Kč
Naše cena 3 878 Kč je o 15 % nižší než
doporučená cena výrobce 4 563 Kč.
Předpoklad doručení do 2. č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 Princeton University Press ↓
3 878 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
- 229 x 152
- Rok vydání
- 2016
- Počet stran
- 284
- Obsah
- Hardback
- Hmotnost
- 567
- 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!
