Decision Procedures: An Algorithmic Point of View (Bog, Paperback / softback, Engelsk) af Daniel Kroening
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Optimalisering
  5. Softwareudvikling
  6. Matematisk datateori
  7. Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

(Bog, Paperback / softback, Engelsk)
Forfattere: Daniel Kroening, Ofer Strichman
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

Matematisk datateori Optimalisering Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Forfattere Daniel Kroening, Ofer Strichman
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 2nd ed. 2016
Udgivelsesdato 13-07-2018
Første udgivelsesår 2018
Serie Texts in Theoretical Computer Science. An EATCS Series
Illustrationer 5 Illustrations, color; 59 Illustrations, black and white; XXI, 356 p. 64 illus., 5 illus. in color.
Originalsprog Germany
Sideantal 356
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 356 pages, 5 Illustrations, color; 59 Illustrations, black and white; XXI, 356 p. 64 illus., 5 illus
Mål 156 x 233 x 24
ISBN-13 / EAN-13 9783662570654