简明VerificationAnnotationSoftware
Verification混合验证Digital
CommunicationSpecificationVerificationProtocol
可视化导论VisualizationIntroduction
VerificationHardwareLanguage验证
传热数值VerificationNumerical
VerificationValidationComplexSystems
SpecificationInternationalVerificationInteractive
验证VerificationValidation海岸
InternationalVerificationConferenceComputer
VerificationEngineeringValidationScientific
硬件设计VerificationAdvancesHardware
VerificationIntroductionDevelopment软件开发
Verification图像验证海外
常规武器学武裁减军备
硬件设计VerificationHardwareAdvanced
VerificationTechnologyAutomated验证
VerificationHardwareSoftware验证
9781013270994VerificationComputer印刷
微处理器MicroprocessorVerification可靠性
中商预售VerificationCoordinating
开放式VerificationMethodologyCookbook
质量检验IntroductionVerification混凝土
VerificationTechniquesSoftwareChecking
InternationalVerificationHardwareSoftware
ApplicationsVerificationLeveragingValidation
遗传学Verification推理基因
微处理器SecdMicroprocessorVerification
Software软件测试医疗设备Verification
语义VerificationOperationalSemantics
模块化编译器VerificationRefinement
InternationaVerification嵌入式Embedded
形式化VerificationSatSolutions
VerificationValidationSoftware确认
VerificationSimulation符号Scalable
验证建模VerificationVerificatio
SpecificationVerificationProtocol验证
VerificationProceduresValidationArtificial
9783639000023VerificationExtendingPrograms
形式化InternationalVerificationConference