MIT6.031 软件构造 Reading1阅读笔记 Static Checking

来自MIT6.031 软件构造课的Reading材料的第一篇,介绍了软件构造课的基本目标,提供了给Python程序员的Java基础课程,进行了Python和Java的对比,也简单介绍了本课程选择Java作为授课语言的原因。
具体内容及笔记见下图,笔记主要以手写方式提供。
(似乎本材料和原标题静态检查的关系也没有那么大。。。)
MIT官网直通车
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

发布了90 篇原创文章 · 获赞 65 · 访问量 1万+

猜你喜欢

转载自blog.csdn.net/ctsnevermore/article/details/104522085
今日推荐