Formal Specification and Documentation using Z: A Case Study Approach 上传者：imrSteve 2019-09-05 22:55:50上传 PDF文件 280.35KB 热度 46次 书名：FormalSpecificationandDocumentationusingZ:ACaseStudyApproach作者：JonathanBowen介绍：形式化规格说明Z语言。建立在数理逻辑基础上的，可验证的一种软件工程方法。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
