Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Decision Procedures
- An Algorithmic Point of View
Engelsk
Bogcover for Decision Procedures af Ofer Strichman, Daniel Kroening, 9783662570654
Specifikationer
Sprog:
Engelsk
Sider:
356
ISBN-13:
9783662570654
Indbinding:
Paperback
ISBN-10:
3662570653
Kategori:
Udg. Dato:
13 jul 2018
Størrelse i cm:
15,6 x 23,3 x 2,4
Oplagsdato:
13 jul 2018

Decision Procedures

- An Algorithmic Point of View
Engelsk
Paperback 2018
Format:

Bog 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.
... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
356
ISBN-13:
9783662570654
Indbinding:
Paperback
ISBN-10:
3662570653
Kategori:
Udg. Dato:
13 jul 2018
Størrelse i cm:
15,6 x 23,3 x 2,4
Oplagsdato:
13 jul 2018
Finder produkter...
Kategori sammenhænge