欢迎来到第一学习网！
{{#data}}
会员
：{{user_name}}
|
帐户类型
：{{user_type}}
| {{#jd}}
{{jd}}
|{{/jd}} {{#js}}
{{js}}
|{{/js}}
会员中心
{{/data}} {{#nolog}}
{{log}}
{{reg}}
{{/nolog}}
课程
搜索
首页
大学视频
高中课程
初中课程
小学课程
计算机科学
百家讲坛
第一学习网
上海交通大学 软件工程
第34讲：Formal Methods （形式化方法）
{{#iframe}}
{{/iframe}} {{#mp4}}
提示：在线学习与线路有一定的关系，有些可能在线看不了，建议选择下载之后离线学习。
{{/mp4}} {{#shipin}}
提示：在线学习与线路有一定的关系，有些可能在线看不了，建议选择下载之后离线学习。
{{/shipin}} {{#baidu}}
下载地址：
{{src}}
{{/baidu}} {{#wzts}}
系统提示!!!
{{title}}
{{#nolog}}
登陆
注册
{{/nolog}} {{#djsx}}
点我刷新
{{/djsx}} {{#gocz}}
去充值
{{/gocz}} {{#ffqr}}
同意，确认操作！
不同意，关闭页面
{{/ffqr}}
{{/wzts}}
上一讲：第33讲：Technical Metrics for Object-Oriented Systems （面向对象技术度量）
下一讲：第35讲：Cleanroom Software Engineering （净室软件工程）
课程