MARC状态:审校 文献类型:中文图书 浏览次数:15
- 题名/责任者:
- 软件工程形式化方法与语言/李莹, 吴江琴编著
- 出版发行项:
- 杭州:浙江大学出版社,2010
- ISBN及定价:
- 978-7-308-06667-9/CNY29.00
- 载体形态项:
- 200页:图;26cm
- 个人责任者:
- 李莹 编著
- 个人责任者:
- 吴江琴 编著
- 学科主题:
- 软件工程-高等学校-教材
- 中图法分类号:
- TP311.5
- 一般附注:
- 高等院校精品教材
- 提要文摘附注:
- 本书共分16章,主要内容包括:引论;命题逻辑;谓词逻辑;相等与确定性的描述;集合;对象的定义;关系;函数;序列;递归定义的类型;一个规格说明的实例——文件系统等。
全部MARC细节信息>>