- 5 Risultati
prezzo più basso: € 64,19, prezzo più alto: € 117,87, prezzo medio: € 81,00
1
Decision Procedures - Daniel Kroening
Ordina
da booklooker.de
€ 64,19
Spedizione: € 0,001
OrdinaLink sponsorizzato
Daniel Kroening:

Decision Procedures - nuovo libro

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

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchhandlung - Bides GbR
2
Decision Procedures: An Algorithmic Point of View
Ordina
da Indigo.ca
C$ 98,50
(indicativi € 68,68)
OrdinaLink sponsorizzato
Decision Procedures: An Algorithmic Point of View - nuovo libro

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

new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
3
Ordina
da AbeBooks.de
€ 117,87
Spedizione: € 29,191
OrdinaLink sponsorizzato
Kroening, Daniel; Strichman, Ofer:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - copertina rigida, flessible

2008

ISBN: 3540741046

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

NOT NEW BOOK. Costi di spedizione: EUR 29.19 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
4
Ordina
da AbeBooks.de
€ 82,29
Spedizione: € 36,891
OrdinaLink sponsorizzato
Daniel Kroening, Ofer Strichman:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - copertina rigida, flessible

2008, ISBN: 3540741046

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

NEW BOOK. Costi di spedizione: 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
Ordina
da AbeBooks.de
€ 71,97
Spedizione: € 8,301
OrdinaLink sponsorizzato
Kroening, Daniel", "Strichman, Ofer":
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - copertina rigida, flessible

2008, ISBN: 3540741046

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

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

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
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.

Informazioni dettagliate del libro - Decision Procedures: An Algorithmic Point of View


EAN (ISBN-13): 9783540741046
ISBN (ISBN-10): 3540741046
Copertina rigida
Anno di pubblicazione: 2008
Editore: Springer Berlin
304 Pagine
Peso: 0,623 kg
Lingua: Englisch

Libro nella banca dati dal 2007-10-16T08:45:30+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-04T14:16:34+01:00 (Zurich)
ISBN/EAN: 3540741046

ISBN - Stili di scrittura alternativi:
3-540-74104-6, 978-3-540-74104-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : ofer, kröning, strich, daniel
Titolo del libro: procedures, theoretical computer science, point view, procedure, algorithmic, decision points, point zero, view beside, buch daniel, kröning, decisiones


Dati dell'editore

Autore: Daniel Kroening; Ofer Strichman
Titolo: Texts in Theoretical Computer Science. An EATCS Series; Decision Procedures - An Algorithmic Point of View
Editore: Springer; Springer Berlin
306 Pagine
Anno di pubblicazione: 2008-05-23
Berlin; Heidelberg; DE
Lingua: Inglese
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

< Per archiviare...