Decision Procedures: An Algorithmic Point of View

2014-02-02 分类：工程

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

Hardcover: 304 pages

Publisher: Springer (May 23, 2008)

Language: English

ISBN-10: 3540741046

电子书代发PDF格式价格10元我要求助