图书目录大全

 windowsfront.com logo

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

Z形式规约的自动求精研究
☆☆☆☆☆
简体网页||繁体网页
王宏生 作者
译者
2009-1 出版日期
231 页数
26.00元 价格
丛书系列
9787118060447 图书编码

Z形式规约的自动求精研究 在线电子书 图书标签:  

喜欢 Z形式规约的自动求精研究 在线电子书 的读者还喜欢


下载链接在页面底部


点击这里下载
    
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-09-19

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接

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

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

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


Z形式规约的自动求精研究 在线电子书 用户评价

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

Z形式规约的自动求精研究 在线电子书 著者简介

Z形式规约的自动求精研究 在线电子书 图书目录

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

Z形式规约的自动求精研究 在线电子书 图书描述

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

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

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

Z形式规约的自动求精研究 在线电子书 读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

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

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

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接


Z形式规约的自动求精研究 在线电子书 相关图书



服务条款
联系我们
关于我们
隐私政策

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

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有