Skip to content

Decision Procedures: An Algorithmic Point of View
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


From the publisher

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

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
Back to Top

More Copies for Sale

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An...

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
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$54.98
$10.86 shipping to USA

Show Details

Description:
Hardback. Like New.
Item Price
$54.98
$10.86 shipping to USA
Decision Procedures : An Algorithmic Point of View
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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
Decision Procedures: An Algorithmic Point of View
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An...
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
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
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