Concrete Semantics
With Isabelle/HOL
Vše od
Springer International Publishing AG
ISBN: 9783319357591
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...
1 469 Kč
- 1 - 2 ks
- 1 469 Kč
- 3 - 10 ks
- 1 454 Kč
- 11 a více ks
- 1 440 Kč
Naše cena 1 469 Kč je o 6 % nižší než
doporučená cena výrobce 1 562 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 ↓
1 469 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
- 156 x 234 x 19
- Rok vydání
- 2016
- Počet stran
- 298
- Obsah
- Paperback / softback
- Hmotnost
- 490
- 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!
