当前位置: 首页 > 资源下载 > 搜索“Calculus”结果
关键字
书名:The Calculus of Computation (PDF 英文版)
上传:鱼和流氓
时间:2009-01-26 19:47:03
描述: The Calculus of Computation: Decision Procedures with Applications to Verification (PDF 英文版) by Aaron R. Bradley, Zo ...