9786207984725Verificationadulteration预订
9783031197611ApplicationsVerificationLeveraging
VerificationStructurallyMultipliers预订
VerificationTechniquesSuccessfulAdvanced
9780367546656VerificationCryptography预订
国际会议InternationalVerificationConference
InternationalVerificationConferenceComputer
SpecificationCompositionalVerification实时
SpecificationInternationalVerificationInteractive
Verification电路Circuits验证
电路设计Verification验证形式
形式化浮点硬件设计Verification
VerificationTechnologyAutomated预订
VerificationSequential顺序逻辑
医药图书InternationalVerificationConference
9780821805794Verification预订Partial
9781013270987Verification预订Computer
ToolsImplementationVerificationInformation
VerilogVerificationSPIProtocol
9781608056859VerificationTechniquesMulticore
Verification精度算法Algorithms
验证ApplicationsVerificationLeveraging
Verification预订ModelingPhysical
InterpretationInternationalVerification抽象
VerificationConcurrentStructuresAutomated
交互式SpecificationVerificationEurographics
CommunicationVerificationEvaluationComputer
9781680839104IntroductionVerification预订
2024InternationalVerificationConference
VerificationSpecificationApplicationsLeveraging
1995Verification验证海外
时序建模VLSIMacromodeling
VerificationAdvanced验证形式
形式化方法VerificationSoftware自治
SpecificationVerificationProtocol验证
StandardizedVerification标准化Functional