|
000
|
01160nam 2200289 450
|
|
001
|
012006296875
|
|
005
|
20061018161739.51
|
|
010
|
|
@a7-04-016079-X@dCNY26.00
|
|
100
|
|
@a20060727d2005 km y0chiy0120 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa a 000yy
|
|
200
|
1
|
@a软件开发的形式化方法@Aruan jian kai fa de xing shi hua fang fa@f古天龙@Fgu tian long
|
|
210
|
|
@a北京@c高等教育出版社@d2005.01
|
|
215
|
|
@a265页@c图@d24cm
|
|
225
|
2
|
@a高等学校研究生系列教材@Agao deng xue xiao yan jiu sheng xi lie jiao cai
|
|
312
|
|
@a英文并列题名取自封面
|
|
320
|
|
@a有书目 (第263-265页)。
|
|
330
|
|
@a本书对软件开发的形式化方法进行了介绍和讨论，内容涵盖了SE2004的SEEK中关于“软件的形式化方法”的知识点，内容包括：软件及其开发概述，有限状态机及其扩展，一阶逻辑，时态逻辑，模态逻辑等。
|
|
333
|
|
@a计算机,软件工程等专业的高年级本科生或研究生。
|
|
410
|
0
|
@12001 @a高等学校研究生系列教材
|
|
510
|
1
|
@aFormal Methods of Software Development@zeng
|
|
606
|
0
|
@a软件开发@Aruan jian kai fa@x研究生@j教材
|
|
690
|
|
@aTP311.52@v4
|
|
701
|
0
|
@a古天龙@Agu tian long@4著
|
|
801
|
0
|
@aCN@bQSSK@c20061018
|
|
905
|
|
@a10447@dTP311.52@eG450
|
|
|
|
|
| |
| 软件开发的形式化方法/古天龙.-北京：高等教育出版社，2005.01 |
| 265页：图；24cm.-(高等学校研究生系列教材) |
| 使用对象：计算机,软件工程等专业的高年级本科生或研究生。 |
| |
| ISBN 7-04-016079-X：CNY26.00 |
| 本书对软件开发的形式化方法进行了介绍和讨论，内容涵盖了SE2004的SEEK中关于“软件的形式化方法”的知识点，内容包括：软件及其开发概述，有限状态机及其扩展，一阶逻辑，时态逻辑，模态逻辑等。 |
| ● |
正题名：软件开发的形式化方法
索取号：TP311.52/G450
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
597622
|
205976229
|
期刊室512/301自科库 42排7列4层/
[索取号:TP311.52/G450]
|
在馆
|
|
|
2
|
597623
|
205976238
|
自科库301/301自科库 47排5列1层/
[索取号:TP311.52/G450]
|
在馆
|
|
|
3
|
597624
|
205976247
|
期刊室512/301自科库 42排7列4层/
[索取号:TP311.52/G450]
|
在馆
|
|
