书目信息 |
| 题名： |
软件开发的形式化方法
|
|
| 作者： | 古天龙 著 | |
| 分册： | ||
| 出版信息： | 北京 高等教育出版社 2005.01 |
|
| 页数： | 265页 | |
| 开本： | 24cm | |
| 丛书名： | 高等学校研究生系列教材 | |
| 单 册： | ||
| 中图分类： | TP311.52 | |
| 科图分类： | ||
| 主题词： | 软件开发--ruan jian kai fa--研究生--教材 | |
| 电子资源： | ||
| ISBN： | 7-04-016079-X | |
| 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 | 自科库301/301自科库 42排7列4层/ [索取号:TP311.52/G450] | 在馆 | |
| 2 | 597623 | 205976238 | 自科库301/301自科库 47排5列1层/ [索取号:TP311.52/G450] | 在馆 | |
| 3 | 597624 | 205976247 | 自科库301/301自科库 42排7列4层/ [索取号:TP311.52/G450] | 在馆 |