Concrete Semantics
With Isabelle/HOL
Vše od
Springer International Publishing AG
ISBN: 9783319105413
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science...
2 071 Kč
- 1 - 2 ks
- 2 071 Kč
- 3 - 10 ks
- 2 050 Kč
- 11 a více ks
- 2 030 Kč
Naše cena 2 071 Kč je o 6 % nižší než
doporučená cena výrobce 2 203 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 Springer International Publishing AG ↓
2 071 Kč
Více o produktu ↓
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Autor
- Nipkow, Tobias;Klein, Gerwin
- Rozměry
- 235 x 155
- Rok vydání
- 2014
- Počet stran
- 298
- Obsah
- Hardback
- Počet stran
- 298 pages, 1 Illustrations, color; 86 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Concrete Semantics 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!
