软件开发的形式化方法古天龙 pdf下载

店铺公告

标注划线价格为图书市场价!购买前咨询图书品相!

本店存在绝版书、古旧书、收藏书、二手书等特殊商品，因受采购成本限制,

1.书籍因稀缺可能导致售价高于定价,图书实际定价参见下方详情内基本信息,请买家看清楚且明确后再拍，避免价格争议!

2.店铺无纸质发票均开具电子发票，请联系客服开具电子版发票

基本信息

书名:软件开发的形式化方法 古天龙

定价：26元

作者:古天龙

出版社：高等教育出版社

出版日期：2005-01-01

ISBN：9787040160796

字数：370000

页码：265

版次：

装帧：平装

开本：16开

商品重量：

内容提要

形式化方法是建立在严格数学基础上、具有数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于“软件的形式化方法”的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。
　　本书可作为计算机、软件工程等专业高年级本科声或研究生的教学用书，也可供相关领域的研究人员和工程技术人员参考。