检索条件： Verification ( 任意词 )

检索结果共有192条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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 图书 Practical design verification /
责任者 Pradhan, Dhiraj K.,Harris, Ian G.

出版信息 Cambridge University Press, ,2009.

ISBN 9780521859721 (hardback)

馆藏信息

图书信息

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

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

Practical design verification /

Pradhan, Dhiraj K.,Harris, Ian G..Cambridge University Press,,2009..
3 图书 Reconfigurable system design and verification /
责任者 Santambrogio, Marco D.,Huang, Chun-Hsian.

出版信息 CRC Press, ,c2009.

ISBN 978-1-4200-6266-3 (hardcover : alk. paper)

馆藏信息

图书信息

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

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

Reconfigurable system design and verification /

Santambrogio, Marco D.,Huang, Chun-Hsian..CRC Press,,c2009..
4 图书 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.
5 图书 Software engineering analysis and verification
责任者 T. G. Lewis

出版信息 Reston Publishing Company, Inc. ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
T. G. Lewis.Software engineering analysis and verification.Reston Publishing Company, Inc.,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Software engineering analysis and verification

T. G. Lewis.Reston Publishing Company, Inc.,1982.
6 图书 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.
7 图书 Computer logic testing and verification
责任者 J. P. Roth

出版信息 s. n.] ,176 p.

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. P. Roth.Computer logic testing and verification.s. n.],176 p..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer logic testing and verification

J. P. Roth.s. n.],176 p..
8 图书 Verification under the Chemical Weapons Convention : on-site inspection in chemical industry facilities /
责任者 Ralf Trapp.

出版信息 Oxford University Press, ,1993.

ISBN 9780198291602

馆藏信息

图书信息

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

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

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

Ralf Trapp..Oxford University Press,,1993..
9 图书 Verification of communication protocols in web services : model-checking service compositions /
责任者 Tari, Zahir,,Bertok, Peter,

出版信息

ISBN 9780470905395 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Tari, Zahir,,Bertok, Peter,.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 /

Tari, Zahir,,Bertok, Peter,.,.
10 图书军队职业技能鉴定
责任者王树礼,盛卫超,王仁忠

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

ISBN 5118·1533

馆藏信息

图书信息

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

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

军队职业技能鉴定

王树礼,盛卫超,王仁忠.国防工业出版社,2015.

通借成功!

预约成功!