天津大学逻辑与形式化方法复习资料，其中包括：
1.命题逻辑
2.一阶逻辑
3.Z语言的类型及构造单元
4.关系
5.函数
6.模式与规格说明
7.序列
8.包
9.Z语言规格说明的形式推理
10.模型检测
2021-05-06 16:43:38
7.29MB
1
网络协议的形式化分析与设计
古天龙
2003
计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
2021-04-13 10:36:25
59.15MB
1