SpecificationVerificationInteractiveProceedings
InternationalVerificationAutomaticWorkshop
预售VerificationComponentGuide
StandardizedVerification标准化Functional
VerificationProgrammingAliasingOriented
形式化SpecificationVerification实时
9781312740617VerificationValidationSimulation
验证VerificationVerificatioTechniques
硬件设计VerificationHardwareAdvanced
VerificationValidationComplexSystems
VerificationValidationSoftware确认
SpecificationVerificationProtocol验证
VerificationConstraint约束验证
InternationalVerificationTechnologyAutomated
形式化VLSIVerificationEssential
VerificationFundamentalComputer验证
行时VerificationProcessors处理器
高阶VerificationHardware逻辑
协同VerificationHardwareSoftware
K.VerificationOrientedSoftware
Verification验证StrategyHardware
医药图书IGRTVerificationTreatment
VerificationTechniquesSoftwareChecking
VerificationHardwareLanguage验证
ParameterizedDecidabilityVerification验证
合规性量化IntroductionVerification
VerificationFoundationsDevelopmentComputer
InternationalVerificationConferenceComputer
VerificationMethodologyTechniques验证
英文Verification原版现货
VerificationIntroductionDevelopment软件开发
理系统建模InternationalVerification
ApplicationsVerificationLeveragingValidation
系统工程VerificationEngineeringValidation
常规武器学武裁减军备
VerificationValidation实时Software
预售TechnologiesVerificationBiometric