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 artefacts.
Výběr knih vydavatele Springer International Publishing AG
Kniha AI Battle Royale

AI Battle Royale

Cena od 825 Kč

  Chci koupit
Kniha How to Value a Bank

How to Value a Bank

Cena od 2 640 Kč

  Chci koupit
Kniha 100 Years of Radar

100 Years of Radar

  Chci koupit
Zobrazit všechny knihy vydavatele Springer International Publishing AG
Naše tipy
Kniha Řekni ano tomu pravému

Řekni ano tomu pravému

Cena od 318 Kč

  Chci koupit
Kniha Záporáci smrti neutečou 6

Záporáci smrti neutečou 6

Cena od 319 Kč

  Chci koupit
Kniha Ambessa: Vyvolena vlkem

Ambessa: Vyvolena vlkem

Cena od 491 Kč

  Chci koupit
Kniha Nic netrvá věčně

Nic netrvá věčně

Cena od 395 Kč

  Chci koupit
Králové Avalieru 3 - Nelítostný vílí král (prac.)
Králové Avalieru 3 - Nelítostný vílí král (prac.)
Leia Stone
  Chci koupit
Králové Avalieru 3 - Nelítostný vílí král (prac.) - Stone Leia

Vílí král Lucien je všemi obávaný tyran. Když se proto Madelynn dozví, že si ji vybral jako svou budoucí královnu, myslí si, že její život skončil. Jenže co když je vše jinak? Třetí kniha romantasy příběhů z čarovného světa Avalieru.