| 暂存书架(0) | 登录

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

题名/责任者:
时序逻辑程序设计与软件工程.上册.时序逻辑语言/唐稚松等著
出版发行项:
北京:科学出版社,1999
ISBN及定价:
7-03-007006-2 上册/CNY25.00
载体形态项:
xii, 231页:图;26cm
其它题名:
时序逻辑语言
个人责任者:
唐稚松 著
学科主题:
软件工程
学科主题:
程序设计
非控制主题词:
时序逻辑语言
中图法分类号:
TP311.1
科图法分类号:
73.964
科图法分类号:
73.961
一般附注:
中国科学院科学出版基金资助出版
书目附注:
有书目 (第225-231页)
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP311.1/8/V.1 E0032731  v.1 东6层4区      可借
TP311.1/8/V.1 E0100509  v.1 东6层4区      可借
显示全部馆藏信息
借阅趋势

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