Formal Specification and Documentation using Z:A Case Study Approach

Name: Formal Specification and Documentation using Z:A Case Study Approach
Rating: 4.5 (33 reviews)
Author: 何晓均

上传者：何晓均 2020-08-23 01:19:53上传 PDF文件 818.67KB 热度 33次

有关用Z方法进行形式化规范介绍,很有用的电子书籍。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Formal Specification and Documentation using Z A Case Study Approach

书名：FormalSpecificationandDocumentationusingZ:ACase...

大小：0B | 2019-09-05 22:55:50
Formal Specification and Documentation using Z_A Case Study Approach.rar

FormalSpecificationandDocumentationusingZ-ACaseStu...

大小：0B | 2019-07-09 09:13:25
使用Z的正式规范和文档一种案例研究方法Formal Specification and Documentation using Z A Case Study

提出了使用形式化方法的务实观点,在许多情况下,与尝试证明相比,它仍然是有益的(并且总体上更具成本效益...

大小：82B | 2020-08-21 20:33:47
A Case Study in Modular Specification

agoodpaper"ACaseStudyinModularSpecificationofaConc...

大小：0B | 2019-07-19 09:18:59
Product_and_Process_Modelling_A_Case_Study_Approach_2011

英文原版,产品开发和过程建模方法,讲解过程详细,可供初始、解决学者学习和研究。

大小：27.18MB | 2021-04-22 00:31:56
Coursera Machine Learning Foundations A Case Study Approach答案

这里是coursera课程MachineLearningFoundationsACaseStudyA...

大小：0B | 2020-05-19 01:38:02
Specification of Railway Transportation Cyber Physical Systems Using Formal Appr

Specification of Railway Transportation Cyber Phys...

大小：553KB | 2021-02-15 19:54:32
Using Z: Specification, Refinement and Proof

大小：0B | 2019-01-01 23:21:19
3D_case_study_using_opengl.pdf

3D_case_study_using_opengl.pdf

大小：1.53MB | 2020-09-28 01:14:13
Creating.Maintainable.APIs.A.Practical.Case Study.Approach

Build straightforward and maintainable APIs to cre...

大小：12.5MB | 2021-04-21 20:37:46
case study

互联网行业案例分析,casestudyforInternetcases.

大小：0B | 2019-07-18 00:50:13
AspectOriented Formal Specification for RealTime

Aspect-OrientedFormalSpecificationforReal-Time

大小：0B | 2019-07-29 11:39:47
Threadless Case Study

CasestudyonThreadless

大小：0B | 2019-09-03 20:56:04
Objectivity Case Study

OODBMScasestudy,pleasereferenceforyourprojectdevel...

大小：0B | 2019-07-08 18:40:07
MIS Case Study

thisisthecasestudyfordirtbikes

大小：0B | 2019-07-14 20:32:57
A case study of the reliability of

一篇论文,共大家查看

大小：802KB | 2021-05-09 09:44:50