形式化语言 USING IN Z LANGUAGE
Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonmathematicsforsoftwareengineering,acourseonformalspecication,andacourseonrenement.Thismaterialcanbeadaptedinanumberofways,tosupportothercoursesoraspartofaprogrammeofself-pacedlearning.
用户评论
相关推荐
形式化规约Z语言
形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。
PDF
0B
2019-08-03 22:20
形式化语言z语言缪淮扣
z语言缪淮扣上海大学形式化语言用于软件工程的各个阶段
PDF
0B
2020-05-15 21:37
软件形式化方法Z语言.rar
北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。
RAR
0B
2018-12-26 05:23
Z语言一种形式化描述语言
一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！
PDF
0B
2019-07-23 11:33
Using the Rake Build Language
Rake是一种构建工具,和make,ant差不多。
PDF
333KB
2020-08-21 18:48
形式化z语言辅助工具ZEVES
形式化z语言辅助工具Z-EVES进行形式化验证用
RAR
0B
2019-08-02 05:56
移动Agent系统的Z语言形式化描述
移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述
pdf文档
0B
2019-09-19 01:11
形式化语言Z语言博士研究生课程收集
形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料
RAR
0B
2018-12-26 05:23
入门书籍z语言的形式化精化和证明
z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社
PDF
0B
2018-12-26 05:23
软件工程形式化z语言辅助工具
z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。
RAR
0B
2020-06-13 15:52
使用理解和分解OCaml语言Using Understanding and Unraveling The OCaml Language
这些课程笔记对核心ML和一些扩展（包括其面向对象的层）的操作语义（评估）和静态语义（类型检查）进行了正式描述。
PDF
0B
2020-05-30 16:44
形式化B语言
形式化验证B语言安全系统设计软件工程
RAR
0B
2020-05-29 14:00
Unsupervised Language Filtering using the Latent Dirichlet Allocation
UnsupervisedLanguageFilteringusingtheLatentDirichletAllocation
PDF
0B
2019-06-01 04:16
Using Z Specification Refinement and Proof
"Using Z: Specification, Refinement and Proof" - J. Woodcock and J. Davies Prentice Hall, 1994. 英文版
PDF
0B
2019-01-01 23:21
c语言实现求导calculate derivative by using c programming language.pdf
c语言 微积分 本人自写 可以参考 用英语写的哟 希望和诸位多交流~
PDF
244KB
2021-01-31 23:02