Buy Used and New R.E.Bryant Books

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

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783540741046

Format: Hardcover (304 pages)
Publisher: Springer
Published: 23 May 2008

Save for later