| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:19

题名/责任者:
形式化方法:理论及应用/华保健编著
出版发行项:
合肥:中国科学技术大学出版社,2024
ISBN及定价:
978-7-312-05875-2/CNY76.00
载体形态项:
347页:图;26cm
并列正题名:
Formal methods:theory and applications
个人责任者:
华保健 编著
学科主题:
形式语言-研究生-教材
中图法分类号:
TP301.2
一般附注:
一流规划教材 研究生系列教材 信息类 中国科学技术大学研究生教育创新计划项目经费支持
提要文摘附注:
本书讨论了数理逻辑、可满足性、决策过程以及理论应用等内容,并给出实例。全书共十三章,分别讨论了理论基础、命题逻辑、布尔可满足性、谓词逻辑、可满足性模理论、数据结构的判定、符号执行、程序验证、程序合成等内容。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP301.2/222 72588780   自然书库(3F东)     可借 自然书库(3F东)
TP301.2/222 72588781   自然书库(3F东)     可借 自然书库(3F东)
TP301.2/222 72588782   自然书库(3F东)     可借 自然书库(3F东)
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架