Verification符号混合Symbolic
9783031197550ApplicationsVerificationLeveraging
形式化VLSIVerificationEssential
VerificationMathematical预订Hardware
VerificationTechnologyAutomated预订
InternationalVerificationConferenceComputer
VerificationValidationArtificialProcedures
VerificationConcurrency预订
Verification预订ComputerAided
VerificationTechniques预订Design
Verification预订HardwareMethods
中商形式Formal英文
VerificationStatecharts预订Modeling
SpecificationVerificationInteractive预订
条约物体VerificationApproaches
验证VerificationValidationKnowledge
预售VerificationProceduresMethods
VerificationExecutive'sEngineer's验证
SpecificationVerification验证Systems
开放式VerificationMethodologyCookbook
预售VerificationEngineeringValidation
Verification预订CircuitsFormal
验证VerificationVerificatioTechniques
VerificationReliabilityEngineering预订
9783030891589VerificationApplicationsValidation
InterpretationVerification预订Abstract
9780691606057CoordinatingVerificationProcesses
VerificationTechniquesCheckingSoftware
理系统建模InternationalVerification
Verification预订SoftwareControl
预售VerificationSoftwareHardware
硬件设计VerificationAdvancedResearch
Verification预订Runtime
Verification预订SoftwareHardware
Verification验证StrategyHardware
预售CoordinatingVerificationComputer
Hardware断言VerificationGenerating
扫描二维码打开
周一至周六
9:00-22:00
安康生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![按需印刷不退不换Computer-Aided Verification of Coordinating Processes[9780691606057]](https://img.alicdn.com/bao/uploaded/i1/1899623276/O1CN01Cfdy851a4SIAtSfPB_!!0-item_pic.jpg_310x310.jpg)
