Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Decision Procedures - An Algorithmic Point of View
76,00 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 356 sivua
Asu: Kovakantinen kirja
Painos: 2nd ed. 2016
Julkaisuvuosi: 2017, 27.01.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Theoretical Computer Science. An EATCS Series
Sivumäärä: 356 sivua
Asu: Kovakantinen kirja
Painos: 2nd ed. 2016
Julkaisuvuosi: 2017, 27.01.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Theoretical Computer Science. An EATCS Series
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.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783662504963
Aihealue: