Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. The Calculus of Computation

The Calculus of Computation

- Decision Procedures with Applications to Verification

av Zohar Manna, Aaron R. Bradley
The Calculus of Computation av Zohar Manna
Om The Calculus of Computation

Written with graduate and advanced undergraduate students in mind, 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783540741121
  • Format:
  • Inbunden
  • Sidor:
  • 366
  • Utgiven:
  • 3. september 2007
  • Utgåva:
  • 2007
  • Mått:
  • 241x164x28 mm.
  • Vikt:
  • 730 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 9. december 2024

Om Zohar Manna

Se alla böcker av Zohar Manna

Beskrivning av The Calculus of Computation

Written with graduate and advanced undergraduate students in mind, 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.

Användarnas betyg av The Calculus of Computation



Andra köpte även...
Hitta liknande böcker
Boken The Calculus of Computation finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.