Vi bøger
Levering: 1 - 2 hverdage

The Calculus of Computation - Zohar Manna - Bog

- Decision Procedures with Applications to Verification

Bag 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540741121
  • Indbinding:
  • Hardback
  • Sideantal:
  • 366
  • Udgivet:
  • 3. september 2007
  • Udgave:
  • 2007
  • Størrelse:
  • 241x164x28 mm.
  • Vægt:
  • 730 g.
  • 8-11 hverdage.
  • 16. januar 2025

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af The Calculus of Computation



Find lignende bøger
Bogen The Calculus of Computation findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.