Calculus of Computation

Calculus of Computation

Aaron R. Bradley, Zohar Manna
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.
Calculus of Computation koupíte na Bookshop.cz
Bookshop.cz
1 762 Kč
Není skladem
Krátký popis
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

Zobrazit celý popis
Výběr knih vydavatele Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Kniha Topology I

Topology I

  Chci koupit
Kniha Data you need to know about China

Data you need to know about China

  Chci koupit
Kniha Electrodynamics

Electrodynamics

Cena od 2 145 Kč

  Chci koupit
Kniha Power of Breathing

Power of Breathing

Cena od 825 Kč

  Chci koupit
Kniha New Windows into the Universe

New Windows into the Universe

Cena od 1 089 Kč

  Chci koupit
Kniha Perplexing Self

Perplexing Self

Cena od 825 Kč

  Chci koupit
Kniha Scars After Surgeries in the Abdominal Area

Scars After Surgeries in the Abdominal Area

Cena od 924 Kč

  Chci koupit
Kniha Modern Enlightenment

Modern Enlightenment

Cena od 924 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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