Aaron R. Bradley Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Hardback

• 

  PRIS

  644,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

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

  The Calculus of Computation: Decision Procedures with Applications to Verification (Bog, Hardback, Engelsk)

  Af: Aaron R. Bradley

  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.

  PRIS

  644,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv