Formal Specification and Documentation using Z - A Case Study Approach.rar

Name: Formal Specification and Documentation using Z - A Case Study Approach.rar
Rating: 4.5 (38 reviews)
Author: wuqingsongsz

上传者：wuqingsongsz 2019-07-09 09:13:25上传 RAR文件 692.47KB 热度 38次

FormalSpecificationandDocumentationusingZ-ACaseStudyApproach.rar

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2019-07-09 09:13:25

对于z语言的学习很有帮助

Formal Specification and Documentation using Z_A Case Study Approach.rar

FormalSpecificationandDocumentationusingZ-ACaseStu...

大小：0B | 2019-07-09 09:13:25
Formal Specification and Documentation using Z A Case Study Approach

书名：FormalSpecificationandDocumentationusingZ:ACase...

大小：0B | 2019-09-05 22:55:50
使用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
Texturing and Modeling A Procedural Approach.rar

TexturingandModeling-AProceduralApproach.rar

大小：0B | 2019-07-24 00:05:08
COMPUTER SECURITY A Hands_on Approach.rar

COMPUTERSECURITYAHands-onApproach。计算机网络攻防入门详细解释计算机...

大小：0B | 2019-06-27 02:54:16
Debugging by Thinking_A Multidisciplinary Approach.rar

DebuggingbyThinking-AMultidisciplinaryApproach.rar...

大小：0B | 2019-06-27 02:54:24
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
Core c++A software engineer approach.rar

Corec++-Asoftwareengineerapproach.rar

大小：0B | 2019-07-18 05:08:30
Spring Recipes A Problem_Solution Approach.rar

SpringRecipesAProblem-SolutionApproach(BooksforPro...

大小：0B | 2019-06-04 22:10:43
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