Decision Procedures > Editions

by Daniel Kroening First published May 23rd 2008

« 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)
Rate this book
Clear rating
Decision Procedures
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)
Rate this book
Clear rating
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
ISBN:
9783662504970 (ISBN10: 3662504979)
ASIN:
B01MYUZDR9
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
« previous 1 2 next »

per page