Calculus of Computation
Decision Procedures with Applications to Verification
Vše od
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540741121
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
1 939 Kč
- 1 - 2 ks
- 1 939 Kč
- 3 - 10 ks
- 1 920 Kč
- 11 a více ks
- 1 901 Kč
Naše cena 1 939 Kč je o 6 % nižší než
doporučená cena výrobce 2 062 Kč.
Předpoklad doručení do 30. 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 Springer-Verlag Berlin and Heidelberg GmbH & Co. KG ↓
Acting Correctly During Cardiac Arrest: Why Immediate Resuscitation Is So Important
do 30. května734 Kč
1 939 Kč
Více o produktu ↓
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
- Výrobce
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Jazyk
- Germany
- Autor
- Bradley, Aaron R.;Manna, Zohar
- Rozměry
- 164 x 241 x 28
- Rok vydání
- 2007
- Počet stran
- 366
- Obsah
- Hardback
- Hmotnost
- 730
- Počet stran
- 366 pages, XVI, 366 p.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Calculus of Computation 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!
