Goodreads Choice Awards Finalists 2025

Decision Procedures > Editions

by Daniel Kroening First published May 23rd 2008

Sort by
Format
Language
Editions
Showing 11-13 of 13
« previous 1 2 next »
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening (2008-07-07)
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening (2008-07-07)
Published by Springer
Hardcover, 0 pages
Author(s):
ASIN:
B01FIW22X2
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Decision Procedures
Decision Procedures (Paperback)
Published July 17th 2008 by Springer
Paperback, 324 pages
Author(s):
ISBN:
9783540848417 (ISBN10: 354084841X)
ASIN:
354084841X
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Published November 22nd 2016 by Springer
2, Kindle Edition, 377 pages
Author(s):
ISBN:
9783662504970 (ISBN10: 3662504979)
ASIN:
B01MYUZDR9
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
« previous 1 2 next »

per page