- 5 Résultats
prix le plus bas: € 64,19, prix le plus élevé: € 117,87, prix moyen: € 81,00
1
Decision Procedures - Daniel Kroening
Commander
sur booklooker.de
€ 64,19
Envoi: € 0,001
CommanderLien sponsorisé
Daniel Kroening:

Decision Procedures - nouveau livre

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchhandlung - Bides GbR
2
Decision Procedures: An Algorithmic Point of View
Commander
sur Indigo.ca
C$ 98,50
(environ € 68,68)
CommanderLien sponsorisé
Decision Procedures: An Algorithmic Point of View - nouveau livre

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

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
Commander
sur AbeBooks.de
€ 117,87
Envoi: € 29,191
CommanderLien sponsorisé
Kroening, Daniel; Strichman, Ofer:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - edition reliée, livre de poche

2008

ISBN: 3540741046

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

NOT NEW BOOK. Frais d'envoi EUR 29.19 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
4
Commander
sur AbeBooks.de
€ 82,29
Envoi: € 36,891
CommanderLien sponsorisé
Daniel Kroening, Ofer Strichman:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - edition reliée, livre de poche

2008, ISBN: 3540741046

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

NEW BOOK. Frais d'envoi 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
Commander
sur AbeBooks.de
€ 71,97
Envoi: € 8,301
CommanderLien sponsorisé
Kroening, Daniel", "Strichman, Ofer":
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - edition reliée, livre de poche

2008, ISBN: 3540741046

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

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

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
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.

Informations détaillées sur le livre - Decision Procedures: An Algorithmic Point of View


EAN (ISBN-13): 9783540741046
ISBN (ISBN-10): 3540741046
Version reliée
Date de parution: 2008
Editeur: Springer Berlin
304 Pages
Poids: 0,623 kg
Langue: Englisch

Livre dans la base de données depuis 2007-10-16T08:45:30+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-04T14:16:34+01:00 (Paris)
ISBN/EAN: 3540741046

ISBN - Autres types d'écriture:
3-540-74104-6, 978-3-540-74104-6
Autres types d'écriture et termes associés:
Auteur du livre: ofer, kröning, strich, daniel
Titre du livre: procedures, theoretical computer science, point view, procedure, algorithmic, decision points, point zero, view beside, buch daniel, kröning, decisiones


Données de l'éditeur

Auteur: Daniel Kroening; Ofer Strichman
Titre: Texts in Theoretical Computer Science. An EATCS Series; Decision Procedures - An Algorithmic Point of View
Editeur: Springer; Springer Berlin
306 Pages
Date de parution: 2008-05-23
Berlin; Heidelberg; DE
Langue: Anglais
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

< pour archiver...