Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
£44.99
Pages: 377, Edition: Softcover reprint of the original 2nd ed. 2016, Paperback, Springer
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
catalogue.description
Price now:
£44.99
£44.99 | Amazon | Shop |