Decision Procedures > Editions

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

Published May 23rd 2008 by Springer

2008, Hardcover, 322 pages

less detail

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

Published July 13th 2018 by Springer

Softcover reprint of the original 2nd ed. 2016, Paperback, 380 pages

less detail

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

Published April 29th 2008 by Springer

2008, Kindle Edition, 322 pages

less detail

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

Published January 27th 2017 by Springer

2nd ed. 2016, Hardcover, 377 pages

less detail

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

Published December 1st 2010 by Springer

Softcover reprint of hardcover 1st ed. 2008, Paperback, 306 pages

less detail

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) 2008 edition by Kroening, Daniel, Strichman, Ofer (2008) Hardcover

Published July 7th 2008 by Springer

2008, Hardcover

less detail

[(Decision Procedures: An Algorithmic Point of View )] [Author: Daniel Kroening] [Jul-2008]

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Unknown Binding, 0 pages

less detail

Decision Procedures (Hardcover)

Published April 1st 2008 by Springer-Verlag New York Inc

Hardcover, 0 pages

less detail

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening (2008-07-07)

Published January 1st 1800 by Springer

Hardcover, 0 pages

less detail

Decision Procedures: An Algorithmic Point (text only) by D.Kroening.O.Strichman.

Published January 1st 2008 by Springer

Hardcover, 0 pages

less detail