0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Data structures

Buy Now

Decision Procedures - An Algorithmic Point of View (Hardcover, 2nd ed. 2016) Loot Price: R1,683
Discovery Miles 16 830
You Save: R682 (29%)
Decision Procedures - An Algorithmic Point of View (Hardcover, 2nd ed. 2016): Daniel Kroening, Ofer Strichman

Decision Procedures - An Algorithmic Point of View (Hardcover, 2nd ed. 2016)

Daniel Kroening, Ofer Strichman

Series: Texts in Theoretical Computer Science. An EATCS Series

 (sign in to rate)
List price R2,365 Loot Price R1,683 Discovery Miles 16 830 | Repayment Terms: R158 pm x 12* You Save R682 (29%)

Bookmark and Share

Expected to ship within 12 - 17 working days

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 theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. 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 satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Texts in Theoretical Computer Science. An EATCS Series
Release date: 2017
First published: 2016
Authors: Daniel Kroening • Ofer Strichman
Dimensions: 235 x 155 x 26mm (L x W x T)
Format: Hardcover - Cloth over boards
Pages: 356
Edition: 2nd ed. 2016
ISBN-13: 978-3-662-50496-3
Categories: Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Promotions
LSN: 3-662-50496-0
Barcode: 9783662504963

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Data Abstraction and Problem Solving…
Janet Prichard, Frank Carrano Paperback R2,238 Discovery Miles 22 380
Data-Driven Modeling & Scientific…
J. Nathan Kutz Hardcover R4,270 Discovery Miles 42 700
A Textbook of Data Structures and…
Vijayalakshmi P Hardcover R3,733 Discovery Miles 37 330
The Application of Ant Colony…
Ali Soofastaei Hardcover R2,765 Discovery Miles 27 650
Gamma Solution - An Application of…
James R Warren Hardcover R1,338 R1,131 Discovery Miles 11 310
MATLAB Applications in Engineering
Constantin Volosencu Hardcover R3,310 Discovery Miles 33 100
Coding for Kids in Python - Python…
Bob Mather Hardcover R917 Discovery Miles 9 170
Algorithms Illuminated - Omnibus Edition
Tim Roughgarden Hardcover R1,555 Discovery Miles 15 550
Python Programming for Computations…
Computer Language Hardcover R1,216 R1,024 Discovery Miles 10 240
C Programming - C Programming Language…
Adam Dodson Hardcover R598 R542 Discovery Miles 5 420
Genetic Algorithms with Python
Clinton Sheppard Hardcover R875 R827 Discovery Miles 8 270
Innovative Research and Applications in…
Qusay F. Hassan Hardcover R5,597 Discovery Miles 55 970

See more

Partners