Calculus of Computation - Bradley, Aaron R. a Manna, Zohar
Růst ceny o 1 %
Nejnižší cena od 10. 9. 2026: 1 939 Kč.
O produktu
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.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9783540741121
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
