Concrete Semantics

Concrete Semantics

Tobias Nipkow, Gerwin Klein
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Concrete Semantics koupíte na Bookshop.cz
Bookshop.cz
2 071 Kč
Není skladem
Krátký popis
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…

Zobrazit celý popis
Výběr knih vydavatele Springer International Publishing AG
Kniha How to Value a Bank

How to Value a Bank

Cena od 2 640 Kč

  Chci koupit
Kniha Meta-Analysis for Psychologists

Meta-Analysis for Psychologists

Cena od 1 234 Kč

  Chci koupit
Kniha Future-Ready Leader

Future-Ready Leader

Cena od 990 Kč

  Chci koupit
Kniha English Stylistics

English Stylistics

Cena od 1 815 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Springer International Publishing AG
Naše tipy
Kniha Vražda vo Wildshotte

Vražda vo Wildshotte

Cena od 295 Kč

  Chci koupit
Kniha Barvy - První kniha aktivit

Barvy - První kniha aktivit

Cena od 133 Kč

  Chci koupit
Kniha Kdo umlčel skály?

Kdo umlčel skály?

Cena od 315 Kč

  Chci koupit
Kniha Malý Dobráček

Malý Dobráček

Cena od 398 Kč

  Chci koupit