B语言与方法_实用形式化开发指南

Name: B语言与方法_实用形式化开发指南
Rating: 4.5 (74 reviews)
Author: fkyld17

上传者：fkyld17 2019-06-05 16:53:36上传 PDF文件 6.43MB 热度 74次

B语言与方法/（英）K.Lano著,鲍涌等译高等教育出版社出版日期：1998.7目录:第一章引言1．1形式化方法

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

B语言与方法实用形式化开发指南

本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方法。首先，介绍了B语言的发展...

大小：0B | 2019-09-28 22:25:53
B语言与方法_实用形式化开发指南

B语言与方法/（英）K.Lano著,鲍涌等译高等教育出版社出版日期：1998.7目录:第一章引言1．...

大小：0B | 2019-06-05 16:53:36
B方法讲义形式化开发软件方法之一

B方法，形式化开发软件的方法之一。有利于自动开发软件。

大小：0B | 2020-06-20 09:26:14
形式化B语言

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

大小：0B | 2020-05-29 14:00:58
软件形式化开发方法的选择策略研究

随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合...

大小：667KB | 2021-02-06 08:37:05
大型软件形式化开发方法及CASE工具ZIPC

大型软件形式化开发方法及CASE工具ZIPC软件开发方法PPT

大小：0B | 2019-05-16 10:21:26
形式化方法B的学习课件

法国著名大学研究生的b方法学习课件，不容易啊。老师提供的

大小：0B | 2019-05-23 00:10:05
形式化开发Hanoi塔问题非递归算法

Formal development of the non-recursive algorithm ...

大小：0B | 2019-06-27 02:34:18
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
软件形式化方法Z语言.rar

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

大小：0B | 2018-12-26 05:23:20
形式化方法CSP

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

大小：0B | 2020-06-01 19:03:18
形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

大小：0B | 2020-05-15 21:37:38
软件开发的形式化方法

大小：0B | 2019-04-09 13:25:53
TB程序化开发指南

TB程序化开发指南

大小：0B | 2020-05-28 19:57:39
Java模块化开发指南

模块化开发是Java中一种重要的编程方式，通过以下基本步骤来实现。1.创建模块，按照之前的教程创建包...

大小：170.32KB | 2023-11-27 20:07:57
UI自动化开发指南

UI自动化开发指南，包含基本安装，配置，使用方法和实例。

大小：0B | 2019-06-01 08:24:14