| 暂存书架(0) | 登录

MARC状态：已编 文献类型：中文图书 浏览次数：60

题名/责任者:
软件开发的形式化方法/古天龙著
出版发行项:
北京:高等教育出版社,2005.1
ISBN及定价:
7-04-016079-X/CNY26.00
载体形态项:
265页;23cm
并列正题名:
Formal Methods of Software Development
丛编项:
高等学校研究生系列教材
个人责任者:
古天龙 著
学科主题:
软件开发-方法
中图法分类号:
TP311.52
提要文摘附注:
本书内容涵盖了SE2004的SEEK中关于“软件的形式化方法”的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP311.52/4142 70768497   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
TP311.52/4142 70768498   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
TP311.52/4142 70768499   临安密1(信息工程学院)(不可借)     非可借 临安密1(信息工程学院)(不可借)
TP311.52/4142 70768500   文一密集（批次1）（非可借）     非可借
TP311.52/4142 70768496   样本书阅览室（密集书库136）     非可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名：
密码：
验证码：
请输入下面显示的内容
  证件号 条码号 Email
 
姓名：
手机号：
送 书 地：
收藏到： 管理书架