检索条件： Verification ( 任意词 )

检索结果共有189条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Verification and validation of modern Software-Intensive systems
责任者 G. Gordon Schulmeyer,Garth R. MacKenzie

出版信息 Prentice Hall ,2000

ISBN 0-13-020584-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
G. Gordon Schulmeyer,Garth R. MacKenzie.Verification and validation of modern Software-Intensive systems.Prentice Hall,2000.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/10586
复制引文到剪贴板

Verification and validation of modern Software-Intensive systems

G. Gordon Schulmeyer,Garth R. MacKenzie.Prentice Hall,2000.
2 图书 Verification of object-oriented software : the KeY approach /
责任者

出版信息

ISBN 2006939067

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Verification of object-oriented software : the KeY approach /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/266556
复制引文到剪贴板

Verification of object-oriented software : the KeY approach /

.,.
3 图书 Practical design verification /
责任者

出版信息

ISBN 2008050653

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Practical design verification /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/332743
复制引文到剪贴板

Practical design verification /

.,.
4 图书 Verification under the Chemical Weapons Convention : on-site inspection in chemical industry facilities /
责任者

出版信息

ISBN 93012840

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Verification under the Chemical Weapons Convention : on-site inspection in chemical industry facilities /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/474218
复制引文到剪贴板

Verification under the Chemical Weapons Convention : on-site inspection in chemical industry facilities /

.,.
5 图书 Reconfigurable system design and verification /
责任者

出版信息

ISBN 2008044105

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Reconfigurable system design and verification /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/283856
复制引文到剪贴板

Reconfigurable system design and verification /

.,.
6 图书 Layout design and verification
责任者 T. Ohtsuki

出版信息 NHPC ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
T. Ohtsuki.Layout design and verification.NHPC,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/41698
复制引文到剪贴板

Layout design and verification

T. Ohtsuki.NHPC,1986.
7 图书 Program verification using Ada
责任者 A. D. McGettrick

出版信息 The Univ. Pr. ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
A. D. McGettrick.Program verification using Ada.The Univ. Pr.,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/26993
复制引文到剪贴板

Program verification using Ada

A. D. McGettrick.The Univ. Pr.,1982.
8 图书 Verification of communication protocols in web services : model-checking service compositions /
责任者

出版信息

ISBN 2013011613

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Verification of communication protocols in web services : model-checking service compositions /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/525483
复制引文到剪贴板

Verification of communication protocols in web services : model-checking service compositions /

.,.
9 图书军队职业技能鉴定
责任者王树礼,盛卫超,王仁忠

出版信息国防工业出版社 ,2015

ISBN 5118·1533

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
王树礼,盛卫超,王仁忠.军队职业技能鉴定.国防工业出版社,2015.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/875391
复制引文到剪贴板

军队职业技能鉴定

王树礼,盛卫超,王仁忠.国防工业出版社,2015.
10 图书低功耗验证方法学
责任者迦奇拉,伯杰龙,Yoshio Inoue,,弗林

出版信息北京航空航天大学出版社 ,2012

ISBN 978-7-5124-0849-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
迦奇拉,伯杰龙,Yoshio Inoue,,弗林.低功耗验证方法学.北京航空航天大学出版社,2012.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/348225
复制引文到剪贴板

低功耗验证方法学

迦奇拉,伯杰龙,Yoshio Inoue,,弗林.北京航空航天大学出版社,2012.

通借成功!

预约成功!