- 5 Ergebnisse
Kleinster Preis: € 64,19, größter Preis: € 117,87, Mittelwert: € 81,00
1
Decision Procedures - Daniel Kroening
Bestellen
bei booklooker.de
€ 64,19
Versand: € 0,001
Bestellengesponserter Link
Daniel Kroening:

Decision Procedures - neues Buch

2001, ISBN: 9783540741046

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on … Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchhandlung - Bides GbR
2
Decision Procedures: An Algorithmic Point of View
Bestellen
bei Indigo.ca
C$ 98,50
(ca. € 68,68)
Bestellengesponserter Link
Decision Procedures: An Algorithmic Point of View - neues Buch

ISBN: 9783540741046

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 … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Bestellen
bei AbeBooks.de
€ 117,87
Versand: € 29,191
Bestellengesponserter Link
Kroening, Daniel; Strichman, Ofer:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebunden oder broschiert

2008

ISBN: 3540741046

[EAN: 9783540741046], Gebraucht, wie neu, [PU: Springer], LIKE NEW, Books

NOT NEW BOOK. Versandkosten: EUR 29.19 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
4
Bestellen
bei AbeBooks.de
€ 82,29
Versand: € 36,891
Bestellengesponserter Link
Daniel Kroening, Ofer Strichman:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebunden oder broschiert

2008, ISBN: 3540741046

[EAN: 9783540741046], Neubuch, [PU: Springer], Clean and crisp and new!, Books

NEW BOOK. Versandkosten: EUR 36.89 Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (von 5)]
5
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - Kroening, Daniel
Bestellen
bei AbeBooks.de
€ 71,97
Versand: € 8,301
Bestellengesponserter Link
Kroening, Daniel", "Strichman, Ofer":
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - gebunden oder broschiert

2008, ISBN: 3540741046

[EAN: 9783540741046], Neubuch, [PU: Springer], Books

NEW BOOK. Versandkosten: EUR 8.30 booksXpress, Bayonne, NJ, U.S.A. [71410708] [Rating: 4 (von 5)]

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Decision Procedures: An Algorithmic Point of View

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.

Detailangaben zum Buch - Decision Procedures: An Algorithmic Point of View


EAN (ISBN-13): 9783540741046
ISBN (ISBN-10): 3540741046
Gebundene Ausgabe
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin
304 Seiten
Gewicht: 0,623 kg
Sprache: Englisch

Buch in der Datenbank seit 2007-10-16T08:45:30+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-04T14:16:34+01:00 (Berlin)
ISBN/EAN: 3540741046

ISBN - alternative Schreibweisen:
3-540-74104-6, 978-3-540-74104-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ofer, kröning, strich, daniel
Titel des Buches: procedures, theoretical computer science, point view, procedure, algorithmic, decision points, point zero, view beside, buch daniel, kröning, decisiones


Daten vom Verlag:

Autor/in: Daniel Kroening; Ofer Strichman
Titel: Texts in Theoretical Computer Science. An EATCS Series; Decision Procedures - An Algorithmic Point of View
Verlag: Springer; Springer Berlin
306 Seiten
Erscheinungsjahr: 2008-05-23
Berlin; Heidelberg; DE
Sprache: Englisch
69,54 € (DE)
71,49 € (AT)
77,00 CHF (CH)
Available
XVI, 306 p.

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Algorithms; Automat; C++; algorithm; logic; operations research; optimization; proving; verification; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Theory of Computation; Software Engineering; Theoretische Informatik; Software Engineering; BC

and Basic Concepts.- Decision Procedures for Propositional Logic.- Equality Logic and Uninterpreted Functions.- Decision Procedures for Equality Logic and Uninterpreted Functions.- Linear Arithmetic.- Bit Vectors.- Arrays.- Pointer Logic.- Quantified Formulas.- Deciding a Combination of Theories.- Propositional Encodings.
Includes supplementary material: sn.pub/extras

< zum Archiv...