• 形式化方法导论/21世纪高等学校计算机专业实用规划教材
  • 形式化方法导论/21世纪高等学校计算机专业实用规划教材
  • 形式化方法导论/21世纪高等学校计算机专业实用规划教材
  • 形式化方法导论/21世纪高等学校计算机专业实用规划教材
  • 形式化方法导论/21世纪高等学校计算机专业实用规划教材
21年品牌 40万+商家 超1.5亿件商品

形式化方法导论/21世纪高等学校计算机专业实用规划教材

塑封完整,正版现货,极速发

100 全新

仅1件

四川成都
认证卖家担保交易快速发货售后保障

作者张广泉 著

出版社清华大学出版社

出版时间2015-12

版次1

装帧平装

货号b2

上书时间2024-10-31

温柔的孤岛

三年老店
已实名 已认证 进店 收藏店铺

   商品详情   

品相描述:全新
图书标准信息
  • 作者 张广泉 著
  • 出版社 清华大学出版社
  • 出版时间 2015-12
  • 版次 1
  • ISBN 9787302411611
  • 定价 39.00元
  • 装帧 平装
  • 开本 16开
  • 纸张 胶版纸
  • 丛书 21世纪高等学校计算机专业实用规划教材
【内容简介】
  形式化方法是指有严格数学基础的软件和系统开发方法,支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长,形式化方法的重要性和关注度日益提高。全书共12章,第1章概述形式化方法,第2章介绍形式化方法发展早期的经典内容,其余部分共分3篇:上篇(第3~5章)为系统建模篇,着重介绍迁移系统、有穷自动机、Petri网等基本计算模型;中篇(第6和第7章)为形式规约篇,着重讨论时序逻辑及其在并发系统属性描述的应用;下篇(第8~12章)为形式验证篇,除介绍演绎证明方法外,着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例,每章后均附有习题。本书适合作为高等院校计算机、软件工程、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材,同时可供相关领域的研究人员和技术开发人员参考。
【目录】
 *
点击展开 点击收起

—  没有更多了  —

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP