Logics in Computer Science
A Study on Extensions of Temporal and Strategic Logics
Vše od
Atlantis Press (Zeger Karssen)
ISBN: 9789462390560
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
1 322 Kč
- 1 - 2 ks
- 1 322 Kč
- 3 - 10 ks
- 1 309 Kč
- 11 a více ks
- 1 296 Kč
Naše cena 1 322 Kč je o 6 % nižší než
doporučená cena výrobce 1 406 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 Atlantis Press (Zeger Karssen) ↓
1 322 Kč
Více o produktu ↓
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
- Výrobce
- Atlantis Press (Zeger Karssen)
- Jazyk
- Netherlands
- Autor
- Mogavero, Fabio
- Rozměry
- 235 x 155
- Rok vydání
- 2015
- Počet stran
- 149
- Obsah
- Paperback / softback
- Počet stran
- 149 pages, XVII, 149 p.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Logics in Computer Science 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!
