本本书屋

 本本书屋 logo

软件开发的形式化方法 2024 pdf epub mobi 电子书

软件开发的形式化方法
☆☆☆☆☆
简体网页||繁体网页

软件开发的形式化方法 2024 pdf epub mobi 电子书 著者简介

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

下载链接在页面底部


点击这里下载
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-20

软件开发的形式化方法 2024 pdf epub mobi 电子书

软件开发的形式化方法 2024 pdf epub mobi 电子书

软件开发的形式化方法 2024 pdf epub mobi 电子书


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


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

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价
出版者:高等教育出版社
作者:古天龙
出品人:
页数:265
译者:
出版时间:2005-1
价格:26.00元
装帧:简裝本
isbn号码:9787040160796
丛书系列:

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

软件开发的形式化方法 2024 pdf epub mobi 电子书 图书描述

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

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

软件开发的形式化方法 2024 pdf epub mobi 电子书
软件开发的形式化方法 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

软件开发的形式化方法 2024 pdf epub mobi 用户评价

评分☆☆☆☆☆

我还是喜欢看代码。。

评分☆☆☆☆☆

上课时，参考书之一，确实有些是自己写的，比某些翻译的版本要容易懂，而且这个方面的书较少，值得一读。

评分☆☆☆☆☆

我还是喜欢看代码。。

评分☆☆☆☆☆

上课时，参考书之一，确实有些是自己写的，比某些翻译的版本要容易懂，而且这个方面的书较少，值得一读。

评分☆☆☆☆☆

谁来把我砸清白

软件开发的形式化方法 2024 pdf epub mobi 电子书

分享链接

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




相关图书



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

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

友情链接

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

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有