Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker/Fagbøker/Data og informasjonsteknologi/Programmering

Decision Procedures - An Algorithmic Point of View

Daniel Kroening
2017, Innbundet, Engelsk
Decision Procedures

869,-

Bestillingsvare – sendes normalt innen 10-14 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
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.

Produktegenskaper

  • Forfatter

    Daniel Kroening

  • Bidragsyter

    Kroening, Daniel (Forfatter)

  • Forlag/utgiver

    Springer-Verlag Berlin and Heidelberg GmbH & Co. K

  • Format

    Innbundet

  • Språk

    Engelsk

  • Utgivelsesår

    2017

  • Antall sider

    356

  • Serienavn

    Texts in Theoretical Computer Science. An EATCS Series

  • Varenummer

    9783662504963

Kundeanmeldelser

Frakt og levering

Alle bøkene i serien