97,23 €
114,39 €
-15% su kodu: ENG15
The Calculus of Computation
97,23 € 
- Išsiųsime per 12–18 d.d.
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.
/https://libri-media.knygos-static.lt/7951cf98-7158-4b07-b708-ee242688a8f2/1)
- Autorius: Aaron R. Bradley, Zohar Manna
- Leidėjas: Springer-Verlag GmbH
- Metai: 2007
- ISBN-10: 3540741127
- ISBN-13: 9783540741121
- Formatas: 15.9 x 24.1 x 3 cm, kieti viršeliai
- Kalba: Anglų
- Extra -15 % nuolaida šiai knygai su kodu: ENG15
Atsiliepimai
Aprašymas
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.
EXTRA 15 % nuolaida su kodu: ENG15
97,23 €
114,39 €
Išsiųsime per 12–18 d.d.
Akcija baigiasi už 5d.05:36:20
Nuolaidos kodas galioja perkant nuo 5 €. Nuolaidos nesumuojamos.
- Autorius: Aaron R. Bradley, Zohar Manna
- Leidėjas: Springer-Verlag GmbH
- Metai: 2007
- ISBN-10: 3540741127
- ISBN-13: 9783540741121
- Formatas: 15.9 x 24.1 x 3 cm, kieti viršeliai
- Kalba: Anglų
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.
Atsiliepimai