Stock Photo: Cover May Be Different
Decision Procedures: An Algorithmic Point of View Hardcover - 2008 - 2008th Edition
by Daniel Kroening; Foreword by R. E. Bryant; Ofer Strichman
Details
- Title Decision Procedures: An Algorithmic Point of View
- Author Daniel Kroening; Foreword by R. E. Bryant; Ofer Strichman
- Binding Hardcover
- Edition number 2008th
- Edition 2008
- Pages 306
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2008-05-23
- Illustrated Yes
- Features Bibliography, Illustrated, Index, Table of Contents
- ISBN 9783540741046 / 3540741046
- Weight 1.5 lbs (0.68 kg)
- Dimensions 9.4 x 6.1 x 0.9 in (23.88 x 15.49 x 2.29 cm)
- Library of Congress Catalog Number 2008924795
- Dewey Decimal Code 519.542
More Copies for Sale
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
by Strichman, Ofer
- Used
- Hardcover
- Condition
- Like New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540741046 / 3540741046
- Quantity Available
- 1
- Seller
-
GORING BY SEA, West Sussex, United Kingdom
- Item Price
-
$54.98$10.86 shipping to USA
Show Details
Description:
Hardback. Like New.
Item Price
$54.98
$10.86
shipping to USA
Stock Photo: Cover May Be Different
Decision Procedures : An Algorithmic Point of View
by Daniel Kroening
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540741046 / 3540741046
- Quantity Available
- 49
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$81.00$10.12 shipping to USA
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Decision Procedures : An Algorithmic Point of View.
Item Price
$81.00
$10.12
shipping to USA
Stock Photo: Cover May Be Different
Decision Procedures: An Algorithmic Point of View
by Daniel Kroening
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540741046 / 3540741046
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$91.21$12.61 shipping to USA
Show Details
Description:
Hardback. New. This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.
Item Price
$91.21
$12.61
shipping to USA
Stock Photo: Cover May Be Different
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
by Kroening, Daniel; Strichman, Ofer; Bryant, R.E. [Foreword]
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540741046 / 3540741046
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$104.00$10.00 shipping to USA
Show Details
Description:
Springer. hardcover. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
$104.00
$10.00
shipping to USA