The Calculus of Computation: Decision Procedures with girro 2015年5月23日 19 阅读 0 评论 未分类 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元立即求助