eaglezy的博客

空空如也

Formal Methods: State of the Art and Future Directions

关于形式化理论的权威综述，来自cmu的clarke和wing，非常简易有兴趣的同学看看

2010-07-26

Mindstorms: children, computers, and powerful ideas

经典的关于计算机科学起源及其与数学关系的书籍

2010-07-24

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

eaglezy CSDN认证博客专家 CSDN认证企业博客

码龄22年

0: 原创

-: 周排名

-: 总排名

0: 访问

: 等级

0: 积分

0: 粉丝

0: 获赞

0: 评论

0: 收藏

私信

关注

提示

确定要删除当前文章？

取消删除