机读格式显示(MARC)
- 000 00965nam0 2200277 450
- 010 __ |a 978-7-308-06667-9 |d CNY29.00
- 099 __ |a CAL 012010059236
- 100 __ |a 20100401d2010 em y0chiy50 ea
- 200 1_ |a 软件工程形式化方法与语言 |A ruan jian gong cheng xing shi hua fang fa yu yu yan |f 李莹, 吴江琴编著
- 210 __ |a 杭州 |c 浙江大学出版社 |d 2010
- 215 __ |a 200页 |c 图 |d 26cm
- 330 __ |a 本书共分16章,主要内容包括:引论;命题逻辑;谓词逻辑;相等与确定性的描述;集合;对象的定义;关系;函数;序列;递归定义的类型;一个规格说明的实例——文件系统等。
- 606 0_ |a 软件工程 |A ruan jian gong cheng |x 高等学校 |j 教材
- 701 _0 |a 李莹 |A li ying |4 编著
- 701 _0 |a 吴江琴 |A wu jiang qin |4 编著
- 801 _0 |a CN |b CEPC1 |c 20100402
- 905 __ |a JHUD |d TP311.5/407