- 5 resultaten
laagste prijs: € 64,19, hoogste prijs: € 117,87, gemiddelde prijs: € 81,00
1
Decision Procedures - Daniel Kroening
bestellen
bij booklooker.de
€ 64,19
verzending: € 0,001
bestellenGesponsorde link
Daniel Kroening:

Decision Procedures - nieuw boek

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 … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchhandlung - Bides GbR
2
Decision Procedures: An Algorithmic Point of View
bestellen
bij Indigo.ca
C$ 98,50
(ongeveer € 68,68)
bestellenGesponsorde link
Decision Procedures: An Algorithmic Point of View - nieuw boek

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 … Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
3
bestellen
bij AbeBooks.de
€ 117,87
verzending: € 29,191
bestellenGesponsorde link
Kroening, Daniel; Strichman, Ofer:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebonden uitgave, pocketboek

2008

ISBN: 3540741046

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

NOT NEW BOOK. Verzendingskosten: EUR 29.19 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
4
bestellen
bij AbeBooks.de
€ 82,29
verzending: € 36,891
bestellenGesponsorde link
Daniel Kroening, Ofer Strichman:
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebonden uitgave, pocketboek

2008, ISBN: 3540741046

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

NEW BOOK. Verzendingskosten: 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
bij AbeBooks.de
€ 71,97
verzending: € 8,301
bestellenGesponsorde link
Kroening, Daniel", "Strichman, Ofer":
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - gebonden uitgave, pocketboek

2008, ISBN: 3540741046

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

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

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
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.

Gedetalleerde informatie over het boek. - Decision Procedures: An Algorithmic Point of View


EAN (ISBN-13): 9783540741046
ISBN (ISBN-10): 3540741046
Gebonden uitgave
Verschijningsjaar: 2008
Uitgever: Springer Berlin
304 Bladzijden
Gewicht: 0,623 kg
Taal: Englisch

Boek bevindt zich in het datenbestand sinds 2007-10-16T08:45:30+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-04T14:16:34+01:00 (Amsterdam)
ISBN/EAN: 3540741046

ISBN - alternatieve schrijfwijzen:
3-540-74104-6, 978-3-540-74104-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: ofer, kröning, strich, daniel
Titel van het boek: procedures, theoretical computer science, point view, procedure, algorithmic, decision points, point zero, view beside, buch daniel, kröning, decisiones


Gegevens van de uitgever

Auteur: Daniel Kroening; Ofer Strichman
Titel: Texts in Theoretical Computer Science. An EATCS Series; Decision Procedures - An Algorithmic Point of View
Uitgeverij: Springer; Springer Berlin
306 Bladzijden
Verschijningsjaar: 2008-05-23
Berlin; Heidelberg; DE
Taal: Engels
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

< naar Archief...