图书目录大全

 windowsfront.com logo

软件开发的形式化方法 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

软件开发的形式化方法
☆☆☆☆☆
简体网页||繁体网页
古天龙 作者
高等教育出版社
译者
2005-1 出版日期
265 页数
26.00元 价格
简裝本
丛书系列
9787040160796 图书编码

软件开发的形式化方法 在线电子书 图书标签: 形式化方法  形式化  Formalism  Formal_Methods  软件开发  计算科学  SoftEng  Owned   

喜欢 软件开发的形式化方法 在线电子书 的读者还喜欢


下载链接在页面底部


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

发表于2024-05-17

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

软件开发的形式化方法 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

软件开发的形式化方法 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

软件开发的形式化方法 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


软件开发的形式化方法 在线电子书 用户评价

评分☆☆☆☆☆

我还是喜欢看代码。。

评分☆☆☆☆☆

谁来把我砸清白

评分☆☆☆☆☆

谁来把我砸清白

评分☆☆☆☆☆

谁来把我砸清白

评分☆☆☆☆☆

我还是喜欢看代码。。

软件开发的形式化方法 在线电子书 著者简介

软件开发的形式化方法 在线电子书 图书目录

软件开发的形式化方法 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

软件开发的形式化方法 在线电子书 图书描述

《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。

《软件开发的形式化方法》可作为计算机、软件工程等专业高年级本科声或研究生的教学用书，也可供相关领域的研究人员和工程技术人员参考。

软件开发的形式化方法 在线电子书 下载 mobi epub pdf txt 在线电子书下载
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

软件开发的形式化方法 在线电子书 读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

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

软件开发的形式化方法 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

分享链接

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


软件开发的形式化方法 在线电子书 相关图书



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

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

友情链接

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

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