景德镇学院图书馆书目检索系统

| 暂存书架(0) | 登录



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

题名/责任者:
B方法/(美)J-RAbrial著
出版发行项:
北京:电子工业出版社,2004
ISBN及定价:
7-5053-9339-1/CNY57.00
载体形态项:
22,526页;26cm
编目员补充题名:
B方法
丛编项:
国外计算机科学教材系列
团体责任者:
J-RAbrial 著
学科主题:
软件设计
中图法分类号:
TP311.5
提要文摘附注:
本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP311.5/733 10191310   密集书库（1楼） 145-9-4 图书定位    可借
TP311.5/733 10508849   密集书库（1楼） 145-9-4 图书定位    可借
显示全部馆藏信息
借阅趋势

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