Decision Procedures > Editions
by Daniel Kroening First published May 23rd 2008
Published May 23rd 2008
by Springer
2008, Hardcover, 322 pages
Published July 13th 2018
by Springer
Softcover reprint of the original 2nd ed. 2016, Paperback, 380 pages
Published April 29th 2008
by Springer
2008, Kindle Edition, 322 pages
Published January 27th 2017
by Springer
2nd ed. 2016, Hardcover, 377 pages
Published December 1st 2010
by Springer
Softcover reprint of hardcover 1st ed. 2008, Paperback, 306 pages
Published July 7th 2008
by Springer
2008, Hardcover
![[(Decision Procedures: An Algorithmic Point of View )] [Author: Daniel Kroening] [Jul-2008]](https://i.gr-assets.com/images/S/compressed.photo.goodreads.com/books/1697956303l/126177042._SY75_.jpg)
Published
by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Unknown Binding, 0 pages
Published April 1st 2008
by Springer-Verlag New York Inc
Hardcover, 0 pages
Published January 1st 1800
by Springer
Hardcover, 0 pages
Published January 1st 2008
by Springer
Hardcover, 0 pages
