De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. The Calculus of Computation

The Calculus of Computation

- Decision Procedures with Applications to Verification

af Zohar Manna, Aaron R. Bradley
The Calculus of Computation af Zohar Manna
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.
  • 7. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Zohar Manna

Vis alle bøger af Zohar Manna

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



Andre købte også..
Find lignende bøger
Bogen The Calculus of Computation findes i følgende kategorier: