- 5 resultados
menor preço: € 64.19, preço mais alto: € 117.87, preço médio: € 81.00
1
Decision Procedures - Daniel Kroening
Encomendar
no/na booklooker.de
€ 64.19
Envio: € 0.001
EncomendarLink patrocinado
Daniel Kroening:

Decision Procedures - nuovo livro

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

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchhandlung - Bides GbR
2
Decision Procedures: An Algorithmic Point of View
Encomendar
no/na Indigo.ca
C$ 98.50
(aproximadamente € 68.68)
EncomendarLink patrocinado
Decision Procedures: An Algorithmic Point of View - nuovo livro

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

new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio
3
Encomendar
no/na AbeBooks.de
€ 117.87
Envio: € 29.191
EncomendarLink patrocinado
Kroening, Daniel; Strichman, Ofer:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - encadernada, livro de bolso

2008

ISBN: 3540741046

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

NOT NEW BOOK. Custos de envio: EUR 29.19 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
4
Encomendar
no/na AbeBooks.de
€ 82.29
Envio: € 36.891
EncomendarLink patrocinado
Daniel Kroening, Ofer Strichman:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - encadernada, livro de bolso

2008, ISBN: 3540741046

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

NEW BOOK. Custos de envio: 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
Encomendar
no/na AbeBooks.de
€ 71.97
Envio: € 8.301
EncomendarLink patrocinado
Kroening, Daniel", "Strichman, Ofer":
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - encadernada, livro de bolso

2008, ISBN: 3540741046

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

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

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
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.

Dados detalhados do livro - Decision Procedures: An Algorithmic Point of View


EAN (ISBN-13): 9783540741046
ISBN (ISBN-10): 3540741046
Livro de capa dura
Ano de publicação: 2008
Editor/Editora: Springer Berlin
304 Páginas
Peso: 0,623 kg
Língua: Englisch

Livro na base de dados desde 2007-10-16T04:45:30-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-03-04T10:16:34-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540741046

Número ISBN - Ortografia alternativa:
3-540-74104-6, 978-3-540-74104-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: ofer, kröning, strich, daniel
Título do livro: procedures, theoretical computer science, point view, procedure, algorithmic, decision points, point zero, view beside, buch daniel, kröning, decisiones


Dados da editora

Autor: Daniel Kroening; Ofer Strichman
Título: Texts in Theoretical Computer Science. An EATCS Series; Decision Procedures - An Algorithmic Point of View
Editora: Springer; Springer Berlin
306 Páginas
Ano de publicação: 2008-05-23
Berlin; Heidelberg; DE
Língua: Inglês
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

< Para arquivar...