CIS 461： 正式方法软件工程师 -落下
先决条件：MTH 182
通识教育要求：自然科学技术
基于正式模型的软件开发方法演示课程。形式方法的数学基础回顾。规范和设计的形式语言和技术，包括使用语法、有限状态机和Petri网指定语法。规范和设计的分析和验证。断言、不变量和证明的使用。自动化程序和设计转换
| 班级# | 科学技术学院 | 类型 | 座位 | 单位 |
| 11471 |
01 |
讲座 |
40 |
3 |
天 |
起点 |
终点 |
位置 |
| 周一 星期二 结婚 清华大学 FRI公司 坐 |
美国东部夏令时下午4:30 |
美国东部夏令时下午5:45 |
科学与工程210 |
| 教练：约翰·拉姆 |
班级状态：O（运行） |
| 先决条件：MTH 182 |
| 招生科 |
| 课堂教学模式：亲自授课 |