- 5 Ergebnisse
Kleinster Preis: € 53,45, größter Preis: € 135,60, Mittelwert: € 76,47
1
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - Kroening, Daniel
Bestellen
bei Amazon.de (Intern. Bücher)
€ 80,24
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Kroening, Daniel:

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

2010, ISBN: 9783642093449

Vorwort: Bryant, R.E. Mitwirkende: Strichman, Ofer, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 324 Seiten, Publiziert: 2010-11-06T00:00:01Z, Produktgrupp… Mehr…

Gebraucht, wie neu. Versandkosten:Gewöhnlich versandfertig in 8 bis 9 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) g.e.t.b.o.o.k.s
zuklappen (X)
2
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - Daniel Kroening, R.E. Bryant, Ofer Strichman
Bestellen
bei Amazon.de (Intern. Bücher)
€ 53,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Daniel Kroening, R.E. Bryant, Ofer Strichman:

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

2010, ISBN: 3642093442

[SR: 722519], Taschenbuch, [EAN: 9783642093449], Springer, Springer, Book, [PU: Springer], 2010-11-06, Springer, Decision Procedures This textbook on decision procedure has been used to t… Mehr…

  - Neuware. Versandkosten:Versandkostenfrei innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Gewöhnlich versandfertig in 24 Stunden. (EUR 0.00) Amazon.de
zuklappen (X)
3
Bestellen
bei ZVAB.com
€ 135,60
Versand: € 4,951
Bestellen
Details beim Anbieter
gesponserter Link
Kroening Daniel, Bryant R.E., Strichman Ofer:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch

2010

ISBN: 3642093442

[EAN: 9783642093449], [SC: 4.95], [PU: Springer], ,, Zustand: in gebrauchtem, gutem Zustand, aus Privatbesitz, geringe Lese- Lagerspuren, Altersgemaesse kleinere Maengel sind nicht immer … Mehr…

Versandkosten: EUR 4.95 Antiquariat BuchX, Wolfratshausen, Germany [58516020] [Rating: 4 (von 5)]
zuklappen (X)
4
Bestellen
bei AbeBooks.de
€ 56,58
Versand: € 105,151
Bestellen
Details beim Anbieter
gesponserter Link
R. E. Bryant Daniel Kroening,Ofer Strichman,Ofer Strichman:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch

2010, ISBN: 3642093442

[EAN: 9783642093449], Gebraucht, sehr guter Zustand, [PU: Springer], Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shel… Mehr…

NOT NEW BOOK. Versandkosten: EUR 105.15 HPB-Ruby, Dallas, TX, U.S.A. [65445138] [Rating: 5 (von 5)]
zuklappen (X)
5
Decision Procedures: An Algorithmic Point of View - Daniel Kroening
Bestellen
bei BarnesandNoble.com
$ 69,95
(ca. € 56,48)
Bestellen
Details und Versand
gesponserter Link
Daniel Kroening:
Decision Procedures: An Algorithmic Point of View - Taschenbuch

ISBN: 9783642093449

Decision Procedures: An Algorithmic Point of View Decision-Procedures~~Daniel-Kroening Science>Mathematics>Mathematics Paperback, Springer Berlin Heidelberg

  - new Versandkosten:zzgl. Versandkosten.
zuklappen (X)
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 (Texts in Theoretical Computer Science. An EATCS Series)
Autor:
Titel:
ISBN-Nummer:

3642093442


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 (Texts in Theoretical Computer Science. An EATCS Series)


EAN (ISBN-13): 9783642093449
ISBN (ISBN-10): 3642093442
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
324 Seiten
Gewicht: 0,491 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2010-06-26T13:50:22+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-04T14:16:34+01:00 (Berlin)
ISBN/EAN: 3642093442

ISBN - alternative Schreibweisen:
3-642-09344-2, 978-3-642-09344-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ofer, kröning, strich
Titel des Buches: point view

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: 2010-11-06
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 0,498 kg
Sprache: Englisch
53,45 € (DE)
54,95 € (AT)
77,58 CHF (CH)
Not available, publisher indicates OP

BC; Previously published in hardcover; Hardcover, Softcover / Informatik, EDV/Anwendungs-Software; Künstliche Intelligenz; Verstehen; proving; C++; verification; Algorithms; optimization; Automat; operations research; logic; algorithm; Artificial Intelligence (incl. Robotics); Computer Science; B; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Theory of Computation; Software Engineering; Robotik; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Rechnerarchitektur und Logik-Entwurf; Informatik; Theoretische Informatik; Software Engineering; BB; BB

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.
< zum Archiv...