Order Total (1 Item Items):
Shipping Destination:
Decision Procedures Algorithmic Point by Kroening Daniel (35 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (35)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (21)
- As New, Fine or Near Fine (8)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (12)
- Not Print on Demand (33)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Condition: As New. Unread book in perfect condition.
-
-
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Book 42 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 28.27
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Decision Procedures : An Algorithmic Point of View
Book 42 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Decision Procedures : An Algorithmic Point of View
Book 42 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Book 42 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 38.51
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Decision Procedures : An Algorithmic Point of View
Book 42 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Language: English
Published by Springer (edition 2008), 2008
ISBN 10: 3540741046 ISBN 13: 9783540741046
Hardcover. Condition: Very Good. 2008. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9783540741046.
-
Condition: New.
-
-
-
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 61.04
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Decision Procedures : An Algorithmic Point of View
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
-
Taschenbuch. Condition: Neu. Decision Procedures | An Algorithmic Point of View | Daniel Kroening (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xxi | Englisch | 2018 | Springer | EAN 9783662570654 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Decision Procedures : An Algorithmic Point of View
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 102.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Decision Procedures : An Algorithmic Point of View
Language: English
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2008
ISBN 10: 3540741046 ISBN 13: 9783540741046
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. They also study the problem of deciding combined theories and dedicate a chapter to modern techniques based on an interplay between a SAT solver and a decision procedure for the investigated theory.This textbook has been used to teach undergraduate and graduate courses at ETH Zurich, at the Technion, Haifa, and at the University of Oxford. Each chapter includes a detailed bibliography and exercises. Lecturers' slides and a C++ library for rapid prototyping of decision procedures are available from the authors' website.
-
Hardcover. Condition: Like New. Like New. book.
-
Decision Procedures: An Algorithmic Point of View
Book 42 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3662504960 ISBN 13: 9783662504963
Hardcover. Condition: Brand New. 2nd edition. 356 pages. French language. 9.25x6.25x0.75 inches. In Stock.
-
Decision Procedures : An Algorithmic Point of View
Book 42 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 106.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9783642093449.
