VerificationComputationScientificAutomatic
VerificationTechnologyAutomated验证
9783030837228VerificationApplicationsValidation
建构ConstructionVerificationDetermined
VerificationChallenges预订Software
InternationalVerificationSoftwareHardware
第十届InternationalVerificationNumerical
数值VerificationNumericalSoftware
Checking9783031301667VerificationAnnotation
InternationaVerification嵌入式Analysis
形式化方法VerificationAutomatedInternat
预售Verification印刷Female
开放式VerificationMethodologyCookbook
InternationalVerificationConferenceComputer
InterpretationInternationalVerificationAbstract
Verification展望DeductivePerspect
InstallationsVerificationRegulationsElectrical
9781468601671VerificationValidationAutomated
Satisfiability9783031427459VerificationProcesses
行时国际会议InternationalVerification
条约物体VerificationApproaches
9781013271168Verification预订Computer
VerificationIntelligentSignatureAnalysis
Power功耗感知Verification
CommunicationVerificationEvaluationComputer
Transformation9783031314759VerificationIntelligent
VerificationRequirementsSatisfiesSolution
控制点兼容性CompatibilityVerification
验证ApplicationsVerificationLeveraging
InternationalVerificationConferenceVancouver
近似ApproximationVerification算法
Verification核实Challenges挑战
DesignVerificationAutomationElectronic
DifferentialVerificationNumericalEquations
9789811317583VerificationPerformanceTechnology
TowardsGravitationalVerificationHypothesis
VerificationSoftwareHardware验证
路线图VerificationProperty属性
康德形而上学VerificationMetaphysics
扫描二维码打开
周一至周六
9:00-22:00
安康生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![[预订]Challenges of Software Verification](https://img.alicdn.com/bao/uploaded/i3/454266620/O1CN01zqjJ4C1ym0mRtaj0a_!!0-item_pic.jpg_310x310.jpg)
![[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667](https://img.alicdn.com/bao/uploaded/i2/454266620/O1CN01WyGLvy1ym0nh4TnWw_!!0-item_pic.jpg_310x310.jpg)
![[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 9783031427459](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01AJVIHM1ym0qNVoRb2_!!0-item_pic.jpg_310x310.jpg)
![[预订]Computer Aided Verification 9781013271168](https://img.alicdn.com/bao/uploaded/i2/454266620/O1CN015Cn8iu1ym0pm1NjYZ_!!0-item_pic.jpg_310x310.jpg)
![[预订]Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essay 9783031314759](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01xc3sda1ym0nar4QHL_!!454266620.jpg_310x310.jpg)
