Z形式规约的自动求精研究 pdf epub mobi txt 电子书 下载 2024


Z形式规约的自动求精研究

简体网页||繁体网页
王宏生
2009-1
231
26.00元
9787118060447

图书标签:  


喜欢 Z形式规约的自动求精研究 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-07

Z形式规约的自动求精研究 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Z形式规约的自动求精研究 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Z形式规约的自动求精研究 pdf epub mobi txt 电子书 下载 2024



图书描述

《Z形式规约的自动求精研究》叙述简明清晰,逻辑性强,可作为高等学校相关专业研究生和从事形式语言研究、大型软件形式化开发与应用的专业人员参考。 Z形式规约是一种世界上广泛使用的软件规格说明语言,在软件开发的需求规格说明阶段和软件设计阶段都可以使用,对于提高大型软件质量、验证软件设计正确性等方面具有非常重要的意义。

由于Z是以集合论和一阶逻辑为基础,是设计用来给人看的而不能由机器执行。将Z转换成高级语言需要专业的数学知识,而且对于大型软件,转换过程极易出错。Z的机器可执行性已经引起世界范围的关注,但目前还不能直接从Z语言自动生成应用程序,Z到可执行代码的转换主要由人工完成。《Z形式规约的自动求精研究》指出了Z语言求精方法对于自动生成应用程序的不足,提出了对Z规格说明做一定限制后的Smart Z自动求精为C++和STL方法。

Z形式规约的自动求精研究 下载 mobi epub pdf txt 电子书

著者简介


图书目录


Z形式规约的自动求精研究 pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

评分

评分

评分

评分

读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

Z形式规约的自动求精研究 pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有