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 939 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 Power of Breathing

Power of Breathing

Cena od 825 Kč

  Chci koupit
Kniha "New Culture"

"New Culture"

  Chci koupit
Kniha New Windows into the Universe

New Windows into the Universe

Cena od 1 089 Kč

  Chci koupit
Kniha Zephyr RTOS Embedded C Programming

Zephyr RTOS Embedded C Programming

Cena od 1 650 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
Zobrazit všechny knihy vydavatele Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Naše tipy
Kniha Mikrobiologie a biochemie vína

Mikrobiologie a biochemie vína

  Chci koupit
Kniha Havířovina

Havířovina

Cena od 99 Kč

  Chci koupit
Kniha Holčička, která měla ráda Toma Gordona

Holčička, která měla ráda Toma Gordona

Cena od 160 Kč

  Chci koupit
Kniha Slečna Králíčková: V létě

Slečna Králíčková: V létě

  Chci koupit
Přítel
Přítel
Freida McFadden
  Chci koupit
Přítel - Freida McFadden

strongNový psychologický thriller od bestsellerové autorky iPomocnice/i./strong Sydney Shawová měla vždycky příšernou smůlu na muže. Její nový přítel je ale naprosto dokonalý: okouzlující pohledný lékař v místní nemocnici. Sydney je z něj úplně paf. Mezitím policie řeší brutální vraždu mladé ženy a ukáže se, že jde o jedno z celé série úmrtí. Vrah se svými oběťmi zřejmě chodí na rande, než je zabije. Sydney by se měla cítit v bezpečí. Koneckonců chodí s mužem svých snů. Nemůže se však zbavit podezření, že její přítel možná není tak dokonalý, jak se zdá. Někdo totiž sleduje každý její krok, a pokud se Sydney nedozví pravdu, stane se další obětí…