广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

形式化方法导论/张广泉编著

版本说明:

2版

出版发行项:

北京:清华大学出版社,2023

ISBN及定价:

978-7-302-62660-2/CNY69.00

载体形态项:

288页;26cm

个人责任者:

张广泉 (1965-) 编著

学科主题:

形式语言-高等学校-教材

中图法分类号:

TP301.2

一般附注:

江苏省高等学校重点教材 高等学校软件工程专业系列教材 江苏高校优势学科建设工程项目资助

提要文摘附注:

本书分为系统建模、形式规约、形式验证三篇，内容包括程序正确性证明、迁移系统、自动机、时序逻辑、并发系统属性、演绎证明、模型检测、符号模型检测等。

豆瓣简介：