InterpretationInternationalVerification抽象
InternationalVerificationConferenceComputer
VerificationAdvanced验证形式
SpecificationVerificationProtocol验证
RoleProfessionalVerificationMeasurement
VerificationTestbenchesFunctionalHdl
微处理器MicroprocessorVerification验证
交互式InternationalSpecificationVerification
分类法VerificationDevelopmentTaxonomies
工程设计Verification可靠性Engineering
StandardizedVerification标准化Functional
SpecificationCompositionalVerification实时
嵌入式EmbeddedSystems系统
建模Verification实时Modeling
9780367546656VerificationCryptography预订
形式化方法VerificationSoftware自治
时序建模VLSIMacromodeling
数值InternationalVerificationNumerical
VerificationMeasurementFunctional测量
9780821805794Verification预订Partial
International第四届VerificationTechnology
Verification预订PhysicalModeling
VerificationStructuresConcurrentAutomated
VerificationApplicationsValidationLeveraging
9781013271014Verification预订Computer
度量VerificationExecutive'sEngineer's
InstallationsVerificationRegulationsElectrical
ComputerInternationalVerificationConference
中商底漆StepVerification
InternationalSpecificationVerificationInteractive
MethodologiesApplicationsVerificationEngineering
9783031377020Verification预订Computer
硬件设计VerificationHardwareadvanced
验证ApplicationsVerificationLeveraging
9783731501725VerificationSimulationsResolving
乘数形式化StructurallyVerification
扫描二维码打开
周一至周六
9:00-22:00
安康生态农业开发平台 Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved
![[预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN01BEnKvY1ym0s9d2IRk_!!0-item_pic.jpg_310x310.jpg)
![[预订]Partial Order Methods in Verification 9780821805794](https://img.alicdn.com/bao/uploaded/i3/454266620/O1CN01bxK68X1ym0qG4mD0h_!!0-item_pic.jpg_310x310.jpg)
![[预订]Computer Aided Verification 9781013271014](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN01iVgElh1ym0pZERn6o_!!0-item_pic.jpg_310x310.jpg)
![[预订]Computer Aided Verification 9783031377020](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01EQCRPV1ym0pDIblLx_!!0-item_pic.jpg_310x310.jpg)
![[预订]Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model 9783731501725](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN01NIY7rk1ym0roR3SK4_!!0-item_pic.jpg_310x310.jpg)
