Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
The Calculus of Computation
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This textbook introduces computational logic from the foundations of first-order logic to state-of-t...
Celý popis
Libristo kód: 01654261
?
147 b
147 b
1 472
Kč
Skladem u dodavatele v malém množství
Odesíláme za 10-14 dnů
30 dní na vrácení zboží
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.
Informace o knize
Plný název
The Calculus of Computation
Autor
Aaron R. Bradley, Zohar Manna
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2010
Počet stran
366
EAN
9783642093470
ISBN
3642093477
Libristo kód
01654261
Nakladatelství
Springer, Berlin
Váha
587
Rozměry
155 x 235 x 20
