VerificationApplicationsValidationLeveraging
核电站火灾VerificationValidation
微处理器SecdMicroprocessorVerification
体系结构CryptographicArchitectureVerification
VerificationTechniquesCheckingSoftware
核电站火灾选定Verification
常规武器学武裁减军备
空调器线性变速Verification
SystemverilogVerificationMethodology验证
质量检验VerificationIntroduction混凝土
试验厂VerificationPerformanceIndependent
VerificationValidation实时Software
自旋SpinInternationalVerification
形式化InternationalVerificationConference
VerificationValidationSoftware确认
时序建模VLSIMacromodeling
InternationalVerificationTechnologySymposium
中商预售CoordinatingVerification
VerificationMethodologyTechniques验证
VerificationValidationArtificialProcedures
形式化VerificationIntroductionHardware
Verification抽象CheckingAbstract
系统工程VerificationEngineeringValidation
9783836494526SpecificationVerificationIsabelle
简明VerificationAnnotationChecking
合规性量化IntroductionVerification
InterpretationInternationalVerification抽象
Software软件测试医疗设备Verification
可视化导论VisualizationVerification
疏散火灾VerificationEvacuation
一维验证光谱度量
验证VerificationValidation海岸
9783639000023VerificationExtendingPrograms
9783739241241VerificationConcurrentSoftware
9781013271007VerificationComputer印刷
VerificationMulticastReliableProtocol
扫描二维码打开
周一至周六
9:00-22:00
安康生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![按需印刷不退不换Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle[9783836494526]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01kf2MT51a4SIk04vkN_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Extending KeY for the Verification of C Programs[9783639000023]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01RW0SzL1a4SIag7FOt_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Formal Verification of Concurrent Embedded Software[9783739241241]](https://img.alicdn.com/bao/uploaded/i4/1899623276/O1CN01B6xW0p1a4SIYNozsQ_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Computer Aided Verification[9781013271007]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01QYZuyH1a4SIcGp1HV_!!0-item_pic.jpg_310x310.jpg)
