Decision Procedures Algorithmic Point by Kroening Daniel (27 results)
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 38.75
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 40.36
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 50.01
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 42.18
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 42.47
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 61.85
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.BooksRun
Contact seller5-star sellerCondition: Used - Very good
US$ 68.65
Free ShippingShips within U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 71.67
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
US$ 60.13
US$ 17.79 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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. …
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 60.17
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 89.16
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 88.81
US$ 8.75 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 93.17
US$ 11.17 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New.
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 111.18
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 377.
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 116.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
More imagesLanguage: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 68.99
US$ 78.60 shippingShips from Germany to U.S.A.Quantity: 5 available
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. …
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 126.12
US$ 33.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer-Verlag New York Inc, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 149.48
US$ 16.82 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 2nd edition. 356 pages. French language. 9.25x6.25x0.75 inches. In Stock.
- Softcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
US$ 130.76
US$ 43.03 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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.…
- Softcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
US$ 130.76
US$ 43.03 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9783642093449.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 151.07
US$ 33.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 170.46
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2016
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 159.38
US$ 33.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 189.70
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
US$ 404.66
US$ 44.86 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: gut. 2010. Decision Procedures : An Algorithmic Point of View In deutscher Sprache. pages.
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 111.93
US$ 8.75 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 377.
Language: English
Published by Springer, 2018
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 120.90
US$ 11.17 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 377.
