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