形式化语言 z语言缪淮扣

上传：龙7506 浏览： 18 推荐： 0 文件：PDF 大小：7.14MB 上传时间：2020-05-15 21:37:44 版权申诉

z语言缪淮扣上海大学形式化语言用于软件工程的各个阶段

上传资源

数据结构_C实现缪淮扣课后答案1_9

数据结构-C++实现_缪淮扣_课后答案[1-9章解释详细]

2019-03-09 10:28

形式化规约Z语言

形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。

2019-08-03 22:20

数据结构_C++实现_缪淮扣_课后答案1_9章

数据结构-C++实现_缪淮扣_课后答案[1-9章

2019-04-29 12:20

形式化语言USING IN Z LANGUAGE

Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonmathematicsforsoftwareengineering,acou

2020-01-11 20:54

软件形式化方法Z语言.rar

北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。

2018-12-26 05:23

Z语言一种形式化描述语言

一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！

2019-07-23 11:33

数据结构C++实现第2版习题答案缪淮扣沈俊版

数据结构C++实现第2版缪淮扣沈俊版的，有习题答案解析以及实验指导，请放心食用！

2019-05-27 14:47

形式化语言Z语言博士研究生课程收集

形式化语言 Z语言博士生课程中收集的一些关于Z语言的资料

2018-12-26 05:23

形式化z语言辅助工具ZEVES

形式化z语言辅助工具Z-EVES进行形式化验证用

2019-08-02 05:56

移动Agent系统的Z语言形式化描述

移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述

2019-09-19 01:11

缪淮扣沈俊数据结构C++实现第2版习题解析与实验指导

缪淮扣沈俊数据结构C++实现第2版习题解析与实验指导，和大学课本一样。

2019-05-02 19:08

形式化B语言

形式化验证B语言安全系统设计软件工程

2020-05-29 14:00

入门书籍z语言的形式化精化和证明

z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社

2018-12-26 05:23

软件工程形式化z语言辅助工具

z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。

2020-06-13 15:52

Z语言规格说明语言

Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo，它是目前使用最广泛的一种形式化描述语言，在软件产业的一些大型项目中已经获得成功的应

2019-07-23 11:32