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

Online Public Access Catalogue

题名/责任者:

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

版本说明:

第2版

出版发行项:

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

ISBN及定价:

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

载体形态项:

288页:图;26cm

丛编项:

高等学校软件工程专业系列教材

个人责任者:

张广泉 编著

学科主题:

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

中图法分类号:

TP301.2

一般附注:

江苏高校优势学科建设工程项目资助

书目附注:

有书目 (第287-288页)

提要文摘附注:

本书共12章, 第1章概述形式化方法, 第2章介绍形式化方法发展早期的经典内容, 其余部分共分3篇: 上篇 (第3-5章) 为系统建模篇, 着重介绍迁移系统、有穷自动机、Petri网等基本计算模型 ; 中篇 (第6章和第7章) 为形式规约篇, 着重讨论时序逻辑及其在并发系统属性描述的应用 ; 下篇 (第8-12章) 为形式验证篇, 除介绍演绎证明方法外, 着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。

豆瓣简介：