The Calculus of Computation: Decision Procedures with Applications to Verification (Bog, Hardback, Engelsk) af Aaron R. Bradley
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Dataarkitektur og logisk design
  5. Kunstig intelligens
  6. The Calculus of Computation: Decision Procedures with...

The Calculus of Computation: Decision Procedures with Applications to Verification

(Bog, Hardback, Engelsk)
Forfattere: Aaron R. Bradley, Zohar Manna
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Dataarkitektur og logisk design Kunstig intelligens
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Forfattere Aaron R. Bradley, Zohar Manna
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2007 ed.
Udgivelsesdato 03-09-2007
Første udgivelsesår 2007
Illustrationer XVI, 366 p.
Originalsprog Germany
Sideantal 366
Indbinding Hardback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 366 pages, XVI, 366 p.
Mål 164 x 241 x 28
ISBN-13 / EAN-13 9783540741121