| 暂存书架(0) | 登录

MARC状态:已编 文献类型:西文图书 浏览次数:59

题名/责任者:
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.).
出版发行项:
Berlin ; New York : Springer, c2001.
ISBN:
3540423451 :
载体形态项:
xiii, 520 p. : ill. ; 24 cm.
变异题名:
CAV 2001
丛编题名:
Lecture notes in computer science, 0302-9743 ; 2102
会议名称:
CAV (Conference) (13th : 2001 : Paris, France)
附加个人名称:
Finkel, A.
附加个人名称:
Comon, Hubert.
附加个人名称:
Berry, Gérard, 1948-
论题主题:
Computer software-Verification-Congresses.
论题主题:
Integrated circuits-Verification-Congresses.
中图法分类号:
TP335-53
中图法分类号:
TP31-53
书目附注:
Includes bibliographical references and index.
载体形态附注:
Also available via the World Wide Web.
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP335-53/CAV W0074818   东5层4区      可借
显示全部馆藏信息
借阅趋势

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