加载中...
扫一扫
下载苏宁易购APP
关注苏宁推客公众号
自购省钱·分享赚钱
下载苏宁金融APP
关注苏宁易购服务号
用户评价:----
物流时效:----
售后服务:----
实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
形式化方法 理论及应用 华保健 编 大中专 文轩网
¥ ×1
商品
服务
物流
https://product.suning.com/0070067633/11555288247.html
形式化方法 理论及应用
全面讲授形式化方法理论及应用,从基础知识出发,讨论了数理逻辑、可满足性、决策过程以及理论应用等内容,并给出了丰富的实例。
形式化方法是计算机科学理论中历史悠久、理论性强、发展成熟的学科,已发展成为计算机科学的重要分支之一。形式化方法主要用数学的理论和工具,对计算机软硬件系统进行形式建模和性质推理研究,以期证明系统的实现正确性,或提高系统的可靠性和健壮性等。本书全面讲授形式化方法理论及应用,从基础知识出发,讨论了数理逻辑、可满足性、决策过程以及理论应用等内容,并给出了丰富的实例。 全书共分为13章,分别讨论了理论基础、命题逻辑、布尔可满足性、谓词逻辑、可满足性模理论、数据结构的判定、符号执行、程序验证、程序合成、Curry-Howard同构、依赖类型等内容,并给出了充分的实践讨论与应用实例。 本书适合高等学校信息与计算机科学与技术、软件工程、信息安全等相关专业的学生,以及对软件工程、形式化方法等感兴趣的工程技术人员阅读。
华保健,中国科学技术大学软件学院讲师,主要从事软件安全、程序语言与编译器等研究。获中国计算机学会犀牛鸟研究奖、中国科技大学专业研究生教育个人奖等奖项。主编《深入浅出Java虚拟机设计与实现》等著作,发表论文10余篇。
无
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员