Name: Decision Procedures
Price: 726.95 DKK
Availability: InStock
Author: Daniel Kroening
ISBN: 9783540741046

Du sparer 0% ift. normalprisen Spar 0%

Bag om Decision Procedures

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;

Vis mere

Sprog:
Engelsk

ISBN:
9783540741046

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Hardback

Sideantal:
306

Udgivet:
23. maj 2008

Udgave:
2008

Størrelse:
240x165x24 mm.

Vægt:
632 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 3. december 2024

Normalpris

BLACK NOVEMBER
726,95 kr. + Fragt
~~726,95 kr.~~

Medlemspris

676,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Daniel Kroening

Vis alle bøger af Daniel Kroening

Beskrivelse af Decision Procedures

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;

Brugerbedømmelser af Decision Procedures

Andre købte også..

Find lignende bøger

Bogen Decision Procedures findes i følgende kategorier:

Business og læring > Computer og IT

Decision Procedures - Daniel Kroening - Bog

Bag om Daniel Kroening

Beskrivelse af Decision Procedures

Brugerbedømmelser af Decision Procedures

Gør som tusindvis af andre bogelskere