Formal Specification and Documentation using Z: A Case Study Approach

上传者：imrSteve 2019-09-05 22:55:50上传 PDF文件 280.35KB 热度 27次

书名：FormalSpecificationandDocumentationusingZ:ACaseStudyApproach作者：JonathanBowen介绍：形式化规格说明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

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

大小：819KB | 2020-08-23 01:19:53
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
Coursera Machine Learning Foundations A Case Study Approach答案

这里是coursera课程MachineLearningFoundationsACaseStudyA...

大小：0B | 2020-05-19 01:38:02
Product_and_Process_Modelling_A_Case_Study_Approach_2011

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

大小：27.18MB | 2021-04-22 00:31:56
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

"Using Z: Specification, Refinement and Proof" - J...

大小：0B | 2019-01-01 23:21:19
Creating.Maintainable.APIs.A.Practical.Case Study.Approach

Build straightforward and maintainable APIs to cre...

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