程序分析原理/计算机科学丛书

正版新书新华官方库房直发可开电子发票

108.42 7.8折 139 全新

库存4件

江苏无锡

认证卖家担保交易快速发货售后保障

作者作者:(丹)弗莱明·尼尔森//汉内·里斯·尼尔森//(英)克里斯·汉金|责编:张秀华|译者:詹博华//冀振燕//孙文辉

出版社机械工业出版社

ISBN9787111706885

出版时间2022-07

装帧平装

纸张胶版纸

定价139元

货号ZJ:9787111706885

上书时间2024-07-07

已实名已认证进店收藏店铺

商品描述: 作者简介:
    孙文辉，1999年在中国科学院软件研究所取得博士学位，北京交通大学计算机学院副教授，研究方向为软件测试与验证、网络管理等，为本科生讲授JAVA语言和C++程序设计课程。为研究生讲授程序设计语言理论和形式化方法课程，在国内外会议和期刊上发表论文30多篇。
内容简介:
    本书主要介绍4种程序分析方法——数据流分析、基于约束的分析、抽象解释、类型和作用系统。涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2～5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。本书基本涵盖了程序分析领域的经典方法和技术，配以严谨的形式化系统，思路清晰、逻辑性强，是学习和研究程序分析原理不可多得的经典书籍。
    本书既适合作为程序分析相关硕博研究生课程的教材，也适合相关专业研究人员和专业人士阅读。

— 没有更多了 —