杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

高级语言程序变换的机械化证明导论/何炎祥, 江南著

出版发行项:

北京:科学出版社,2022

ISBN及定价:

978-7-03-073167-8/CNY120.00

载体形态项:

223页:图;24cm

丛编项:

信息科学技术学术著作丛书

个人责任者:

何炎祥 著

个人责任者:

江南 著

学科主题:

高级语言-程序设计

中图法分类号:

TP312.8

书目附注:

有书目

提要文摘附注:

随着现代社会信息化程度的提高, 与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性, 从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术, 分析比较各类主流证明助手的设计特点, 重点讨论在编译器验证领域取得的重要研究成果, 并以实例详述验证编译器的开发和实现。

豆瓣简介：