软件工程形式化方法

注册

登录

用户注册

点击换图

投稿取消

文章分类:

还能输入300字

上传中....

热门文章更多>>

标签更多>>

word左右居中纵向分布 word左右居中对齐 word左右居中对齐怎么设置 word标题回车后为正文 word标题回车后直接分页 word标题回车后中间空了好大一段 word里面行距怎么调整无法缩小 word里面行距一直很大 word里面行距怎么设置在哪里 word试卷格式文档怎么打印 word试卷格式排版 word中隐藏文字打印 word中隐藏文字快捷键 word中隐藏文字在哪里

专题更多>>

最新文章更多>>

多情的公子

软件工程形式化方法

软件工程中的形式方法　　《软件工程形式化方法与语言》选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类...

0
0
0
0
0