Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.
Kroening, Daniel, Strichman, Ofer - Decision Procedures
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | Kroening, Daniel, Strichman, Ofer |
| Titel: | Decision Procedures |
| ISBN: | 9783662504963 |
| Uitgever: | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Bijzonderheid: | 2017 356pp Gebonden |
| Prijs: |
€ 105,00
Gratis
|
| Meer info | Annotatie A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order t Flaptekst A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; |
| Boek bekijken | |
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,95 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 2,95 euro per zending.
Minimale bestelafname van 10,- euro, exclusief verzending.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.