形式化方法导论/21世纪高等学校计算机专业实用规划教材
出版时间:
2015-12
版次:
1
ISBN:
9787302411611
定价:
39.00
装帧:
平装
开本:
16开
纸张:
胶版纸
53人买过
-
形式化方法是指有严格数学基础的软件和系统开发方法,支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长,形式化方法的重要性和关注度日益提高。全书共12章,第1章概述形式化方法,第2章介绍形式化方法发展早期的经典内容,其余部分共分3篇:上篇(第3~5章)为系统建模篇,着重介绍迁移系统、有穷自动机、Petri网等基本计算模型;中篇(第6和第7章)为形式规约篇,着重讨论时序逻辑及其在并发系统属性描述的应用;下篇(第8~12章)为形式验证篇,除介绍演绎证明方法外,着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例,每章后均附有习题。本书适合作为高等院校计算机、软件工程、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材,同时可供相关领域的研究人员和技术开发人员参考。
-
内容简介:
形式化方法是指有严格数学基础的软件和系统开发方法,支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长,形式化方法的重要性和关注度日益提高。全书共12章,第1章概述形式化方法,第2章介绍形式化方法发展早期的经典内容,其余部分共分3篇:上篇(第3~5章)为系统建模篇,着重介绍迁移系统、有穷自动机、Petri网等基本计算模型;中篇(第6和第7章)为形式规约篇,着重讨论时序逻辑及其在并发系统属性描述的应用;下篇(第8~12章)为形式验证篇,除介绍演绎证明方法外,着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例,每章后均附有习题。本书适合作为高等院校计算机、软件工程、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材,同时可供相关领域的研究人员和技术开发人员参考。
查看详情
-
八五品
山东省枣庄市
平均发货8小时
成功完成率89.22%
-
九五品
江西省南昌市
平均发货10小时
成功完成率94.66%
-
全新
海南省海口市
平均发货21小时
成功完成率81.59%
-
3
八品
广西桂林市
平均发货21小时
成功完成率79.84%
-
全新
海南省海口市
平均发货21小时
成功完成率81.59%
-
12
九品
北京市昌平区
平均发货3小时
成功完成率97.77%
-
7
九品
四川省成都市
平均发货1小时
成功完成率96.22%
-
5
全新
四川省成都市
平均发货1小时
成功完成率96.22%
-
全新
广东省广州市
平均发货8小时
成功完成率92.03%
-
4
九品
北京市朝阳区
平均发货6小时
成功完成率92.9%
-
2
九品
河北省廊坊市
平均发货6小时
成功完成率95.76%
-
2
九品
河北省廊坊市
平均发货6小时
成功完成率95.76%
-
3
2015-12 印刷
印次: 1
八五品
安徽省蚌埠市
平均发货11小时
成功完成率98.39%
-
全新
广东省广州市
平均发货9小时
成功完成率90.27%
-
5
九品
河南省信阳市
平均发货7小时
成功完成率97.25%
-
9
2015-12 印刷
印次: 1
九品
北京市昌平区
平均发货8小时
成功完成率97.17%
-
2015-12 印刷
印次: 1
九品
北京市海淀区
平均发货6小时
成功完成率92.05%
-
3
九品
北京市朝阳区
平均发货12小时
成功完成率88.57%
-
4
八五品
北京市朝阳区
平均发货12小时
成功完成率88.57%
-
10
八五品
湖北省武汉市
平均发货2小时
成功完成率96.55%
-
全新
湖南省长沙市
平均发货13小时
成功完成率91.39%
-
9
九品
福建省福州市
平均发货12小时
成功完成率93.75%
-
全新
广东省汕头市
平均发货10小时
成功完成率91.88%
-
7
八品
甘肃省兰州市
平均发货10小时
成功完成率93.63%
-
八五品
陕西省西安市
平均发货9小时
成功完成率95.52%
-
九品
北京市海淀区
平均发货23小时
成功完成率65.12%
-
全新
海南省海口市
平均发货17小时
成功完成率82.68%
-
2
八五品
河北省承德市
平均发货10小时
成功完成率87.5%
-
全新
海南省海口市
平均发货23小时
成功完成率87.04%
-
5
八五品
河北省保定市
平均发货5小时
成功完成率92.56%
-
2
九品
河北省保定市
平均发货5小时
成功完成率92.56%
-
2
九五品
河北省保定市
平均发货5小时
成功完成率92.56%