Decision Procedures: An Algorithmic Point of View

Name: Decision Procedures: An Algorithmic Point of View
Price: 53.45 EUR
Availability: InStock
Author: Daniel Kroening
ISBN: 978-3-540-74104-6