Daniel Kroening Forfatter

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

• 

  PRIS

  698,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

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

  Decision Procedures: An Algorithmic Point of View (Bog, Hardback, Engelsk)

  Af: Daniel Kroening

  The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.

  PRIS

  698,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv
• 

  PRIS

  483,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

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

  Decision Procedures: An Algorithmic Point of View (Bog, Paperback / softback, Engelsk)

  Af: Daniel Kroening

  The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.

  PRIS

  483,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv