Symbolic Model Checking

McMillan, Kenneth | Autoři

Vše od Kluwer Academic Publishers
ISBN: 9780792393801

Symbolic Model Checking od autora McMillan, Kenneth vydalo nakladatelství Kluwer Academic Publishers ...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

2 115 Kč

1 - 2 ks
2 115 Kč
3 - 10 ks
2 094 Kč
11 a více ks
2 074 Kč

Naše cena 2 115 Kč je o 6 % nižší než
doporučená cena výrobce 2 250 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.

2 115 Kč 2 250 Kč

Nepřehlédněte od Kluwer Academic Publishers

Více o produktu

Výrobce
Kluwer Academic Publishers
Jazyk
United States
Autor
McMillan, Kenneth
Rozměry
230
Rok vydání
1993
Počet stran
216
Obsah
Hardback
Počet stran
216 pages, Illustrations

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Symbolic Model Checking 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!