SpecificationInternationalVerificationInteractive
VerificationConstraint约束验证
建模VerificationModelling验证
International暑期VerificationPractical
VerificationTestbenchesFunctionalHdl
Verification算法AlgorithmsSynthesis
VerificationEngineeringValidationScientific
Hardware断言VerificationGenerating
软件工程VerificationEngineeringEmpirical
验证ApplicationsVerificationLeveraging
自动机时间PetriVerification
体系结构CryptographicArchitectureVerification
形式化InternationalVerificationConference
VerificationDeductiveSoftware演绎
dynamicverificationDeductiveoriented
VerificationTechniquesSoftwareChecking
并发Verification嵌入式Exploration
SpecificationVerification验证Systems
建模SpecificationVerificationModelling
软件工程VerificationEngineeringValidation
验证ADASVerificationValidation
SystemverilogVerificationMethodology验证
InterpretationInternationalVerification抽象
InternationalVerificationTechnologyAutomated
ApplicationsVerificationLeveragingValidation
InternationalVerificationConferenceComputer
原版中商英文预售
合规性验证医药图书Verification
控制点兼容性CompatibilityVerification
Power功耗感知Verification
可编程体系结构ArchitecturesVerification
InternationalVerificationHardwareSoftware
英文Verification原版现货
DesignVerificationElectronicAutomation
字符串VerificationAnalysisSoftware
密码学VerificationHandbookAnalysis
形式化软件工程SpecificationsVerification
