CommunicationVerificationEvaluationComputer
InterpretationInternationalVerificationAbstract
InternationalVerificationHeidelbergConference
行时国际会议InternationalVerification
数据结构Verification算法Algorithms
InternationalVerificationTechnologySymposium
可编程体系结构ArchitecturesProgrammable
VerificationApplicationsValidationLeveraging
Verification预订AutomataAdvances
形式化方法VerificationAutomatedInternat
建模SpecificationVerificationModelling
9783031212215VerificationAutonomous预订
Verification预订ComputerAided
VerificationDedicatedPractice验证
求解SatisfiabilityVerificationValidation
9783639081428VerificationInterlockAnalysis
InterpretationVerification预订Abstract
9781013506864VerificationForecasts预订
InternationalVerificationConferenceComputer
InterpretationInternationalVerification抽象
InternationalVerificationNumericalWorkshop
VerificationIntegratedAnalysisApproach
9781013271144VerificationComputer印刷
9781013271151VerificationComputer印刷
VerificationTechnologyAutomated验证
Power功耗感知Verification
InstallationsVerificationRegulationsElectrical
Checking9783031301667VerificationAnnotation
Transformation9783031314759VerificationIntelligent
DifferentialVerificationNumericalEquations
开放式VerificationMethodologyCookbook
VerificationComputationScientificAutomatic
9783030837228VerificationApplicationsValidation
Satisfiability9783031427459VerificationProcesses
验证ApplicationsVerificationLeveraging
扫描二维码打开
周一至周六
9:00-22:00
生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![按需印刷不退不换Formal Analysis and Verification of Safety Interlock Systems[9783639081428]](https://img.alicdn.com/bao/uploaded/i1/1899623276/O1CN016UgfnK1a4SIenzyru_!!0-item_pic.jpg_310x310.jpg)
![[预订]A Verification System for Short Range Navy Forecasts. 9781013506864](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01iI7KSW1ym0rqjiZQ6_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Computer Aided Verification[9781013271144]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01HGEsfQ1a4SImB46o5_!!0-item_pic.jpg_310x310.jpg)
![按需印刷不退不换Computer Aided Verification[9781013271151]](https://img.alicdn.com/bao/uploaded/i1/1899623276/O1CN01hJZJ0O1a4SHaZbCNc_!!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)
![[预订]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)
![[预订]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)
