检索条件： Verification ( 任意词 )
责任者 T. G. Lewis
出版信息 Reston Publishing Company, Inc. ,1982
ISBN
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
Software engineering analysis and verification
T. G. Lewis.Reston Publishing Company, Inc.,1982.
责任者 A. D. McGettrick
出版信息 The Univ. Pr. ,1982
Program verification using Ada
A. D. McGettrick.The Univ. Pr.,1982.
责任者 J. P. Roth
出版信息 s. n.] ,176 p.
Computer logic testing and verification
J. P. Roth.s. n.],176 p..
责任者 王树礼,盛卫超,王仁忠
出版信息 国防工业出版社 ,2015
ISBN 5118·1533
军队职业技能鉴定
王树礼,盛卫超,王仁忠.国防工业出版社,2015.
责任者 迦奇拉,伯杰龙,Yoshio Inoue,,弗林
出版信息 北京航空航天大学出版社 ,2012
ISBN 978-7-5124-0849-4
低功耗验证方法学
迦奇拉,伯杰龙,Yoshio Inoue,,弗林.北京航空航天大学出版社,2012.
责任者 NASA.SystemsIntegrationBranchSpaceShuttleSystemsDivision.SystemsAnalysis&IntegrationLaboratory
出版信息 NASA ,1977
Shuttle master verification plan．V.4，(JSC-07700-10-MVP-04)solid rocket booster verification plan
NASA.SystemsIntegrationBranchSpaceShuttleSystemsDivision.SystemsAnalysis&IntegrationLaboratory.NASA,1977.
责任者 R. Avenhaus
出版信息 Wiley ,1977
Material accountability：theory, verification, and applications
R. Avenhaus.Wiley,1977.
责任者 Marc Ayel
出版信息 John Wiley ,1991
Validation, verification and test of knowledge-baesd systems
Marc Ayel.John Wiley,1991.
责任者 Ali Mili
出版信息 Van Nostrand Reinhold Co. ,1985
An introduction to formal program verification
Ali Mili.Van Nostrand Reinhold Co.,1985.
责任者 Helmut K. Berg
出版信息 Prentice-Hall, Inc. ,1982
Formal methods of program verification and specification
Helmut K. Berg.Prentice-Hall, Inc.,1982.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
