More search options
We are looking in more than 100 shops for your best offer - please wait…
- Shipping costs to Philippines (modify to GBR, USA, AUS, NZL, IND, CHN, JPN)
Create preset

All books for 9783662504970 - compare every offer

9783662504970 - Daniel Kroening, Ofer Strichman: Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - Book
1
Daniel Kroening, Ofer Strichman (?):

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) (2016) (?)

Delivery from: GermanyBook is in english languageNew bookeBook, e-Book, digital bookproduct for digital download

ISBN: 9783662504970 (?) or 3662504979, in english, 356 pages, 2. Edition, Springer, New, ebook, digital download

ebook for download, Free shipping.
From Seller/Antiquarian
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. , Kindle Edition, Ausgabe: 2, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2016-11-22, Freigegeben: 2016-11-22, Studio: Springer
Platform order number Amazon.de (Int.): B01MYUZDR9
Keywords: Fremdsprachige Bücher, Computer & Internet, Programmieren, Software-Design & Entwicklung, Softwareentwicklung, Biomathematik, Computermathematik, Differentialgleichung, Graphentheorie, Lineare Programmierung, Maschinenbau & Technik, Spieltheorie, Vektoranalyse, Wahrscheinlichkeit & Statistik, Wissenschaft, Mathematik, Angewandte Mathematik, Kindle-Shop, Kindle eBooks, Fremdsprachige eBooks, Englische eBooks, Fachbücher
Data from 02/03/2018 11:21h
ISBN (alternative notations): 3-662-50497-9, 978-3-662-50497-0

9783662504970

Find all available books for your ISBN number 9783662504970 compare prices fast and easily and order immediatly.

Available rare books, used books and second hand books of the title "Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)" from Daniel Kroening, Ofer Strichman are completely listed.

Books nearby

>> to Archive