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
1 909 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 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 Analog Communications

Analog Communications

Cena od 1 650 Kč

  Chci koupit
Kniha Afghanistan and the Vietnam Syndrome

Afghanistan and the Vietnam Syndrome

Cena od 825 Kč

  Chci koupit
Kniha American Economy from Roosevelt to Trump

American Economy from Roosevelt to Trump

Cena od 924 Kč

  Chci koupit
Kniha Advanced Statistics for the Behavioral Sciences

Advanced Statistics for the Behavioral Sciences

Cena od 3 960 Kč

  Chci koupit
Kniha Advanced Graph Theory

Advanced Graph Theory

Cena od 1 815 Kč

  Chci koupit
Kniha A-Z of the PhD Trajectory

A-Z of the PhD Trajectory

Cena od 2 970 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Springer International Publishing AG
Naše tipy
Kniha Temné zrcadlo

Temné zrcadlo

Cena od 523 Kč

  Chci koupit
Kniha Poslední epocha

Poslední epocha

Cena od 357 Kč

  Chci koupit
Kniha Údolí Winterset

Údolí Winterset

Cena od 382 Kč

  Chci koupit
Kniha Poslední svatební host

Poslední svatební host

Cena od 351 Kč

  Chci koupit
Přízračný fotoaparát
Přízračný fotoaparát
Darcy Coates
  Chci koupit
Přízračný fotoaparát - Darcy Coates

POŘÁD SE DÍVAJÍ… br br Když Jenine najde opuštěný polaroid, bez přemýšlení hned pořídí jednu fotografii. Jenže na snímku je něco špatně: v pozadí stojí přízračné postavy a pozorují ji. br br Soustředí se na ni. br br A s každou další fotografií se k ní o krok přibližují. br br Jenine se o své tajemství podělí se svou nejlepší kamarádkou Bree. Společně si uvědomí, že fotoaparát pořizuje děsivé snímky zesnulých. Jenže duchové nyní patrně obě kamarádky pronásledují. A s každým dalším snímkem je to strašlivé nebezpečí ještě o něco blíž… br br HRŮZA TEPRVE ZAČÍNÁ.