The Calculus of Computation: Decision Procedures with

2015-05-23 分类：未分类

The Calculus of Computation: Decision Procedures with Applications to Verification

Hardcover: 366 pages

Publisher: Springer (September 3, 2007)

Language: English

ISBN-10: 3540741127

代发服务PDF电子书10元立即求助

1111

 打赏