Decision Procedures Algorithmic Point by Kroening Daniel (29 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.16
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.05
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: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 42.46
US$ 14.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
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$ 41.11
US$ 19.87 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$ 41.58
US$ 19.87 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$ 62.13
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$ 69.98
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, 2017
Series: Book 42 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 57.85
US$ 14.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
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$ 73.40
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.
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$ 57.84
US$ 19.87 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
US$ 59.19
US$ 18.01 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, 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$ 88.56
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: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 90.04
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.29
US$ 8.61 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$ 92.76
US$ 11.33 shippingShips from Germany 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: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 116.00
Free ShippingShips within 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: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 107.77
US$ 33.11 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
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$ 69.69
US$ 79.74 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-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.93
US$ 16.56 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.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 129.60
US$ 33.11 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$ 145.96
US$ 19.87 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: Used - As new
US$ 165.07
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, 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$ 135.06
US$ 33.11 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
US$ 128.72
US$ 41.59 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$ 128.72
US$ 41.59 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.
- Softcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
US$ 410.53
US$ 45.51 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$ 87.27
US$ 8.61 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$ 93.19
US$ 11.33 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 377.
