-
计算理论方面的权威教材,是第二版的中文版,清晰扫描版
大小：32.21MB | 2021-04-14 22:17:22 -
model checking.pdf（英文版）,Edmund M. Clarke著作，模型检验入门书...
大小：5.14MB | 2019-05-15 04:42:10
Ta的上传资源列表
计算理论方面的权威教材,是第二版的中文版,清晰扫描版
model checking.pdf（英文版）,Edmund M. Clarke著作，模型检验入门书...