• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“verification” 共897个商品
      • 默认
      • 销量
      • 价格
    • 【预售】Temporal Verification of Reactive Systems: Safety

      预售VerificationTemporalReactive

      【预售】Temporal Verification of Reactive Systems: Safety

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Logic Synthesis and Verification

      预售VerificationSynthesisLogic

      【预售】Logic Synthesis and Verification

      ¥1,673券后¥1,7530人已购买
      优惠券¥80 领券购买 
    • 【预售】Effective Functional Verification: Principles and

      预售VerificationFunctionalPrinciples

      【预售】Effective Functional Verification: Principles and

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Formal Verification of Circuits

      预售VerificationCircuitsFormal

      【预售】Formal Verification of Circuits

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Systemverilog for Verification: A Guide to Learning

      预售SystemverilogVerificationLearning

      【预售】Systemverilog for Verification: A Guide to Learning

      ¥1,125券后¥1,2050人已购买
      优惠券¥80 领券购买 
    • 【预售】High-Level Verification: Methods and Tools for

      预售VerificationMethodsLevel

      【预售】High-Level Verification: Methods and Tools for

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预订】Leveraging Applications of Formal Methods, Verification and Validation 9783030891589

      9783030891589ApplicationsVerificationLeveraging

      【预订】Leveraging Applications of Formal Methods, Verification and Validation 9783030891589

      ¥732券后¥7660人已购买
      优惠券¥34 领券购买 
    • 【预售】Hardware Verification with System Verilog: An

      预售VerificationHardwareVerilog

      【预售】Hardware Verification with System Verilog: An

      ¥1,125券后¥1,2050人已购买
      优惠券¥80 领券购买 
    • 【预售】Compositional Verification of Concurrent and Real

      预售CompositionalVerificationConcurrent

      【预售】Compositional Verification of Concurrent and Real

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Medical Device Software Verification, Validation

      预售VerificationValidationSoftware

      【预售】Medical Device Software Verification, Validation

      ¥2,043券后¥2,2030人已购买
      优惠券¥160 领券购买 
    • 【预售】A Unified Approach for Timing Verification and Delay

      预售VerificationApproachUnified

      【预售】A Unified Approach for Timing Verification and Delay

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Constraint-Based Verification

      预售VerificationConstraintBased

      【预售】Constraint-Based Verification

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 海外直订Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research 正确的硬件设计和验证方法:

      硬件设计VerificationHardwareAdvanced

      海外直订Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research 正确的硬件设计和验证方法:

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 【预售】Validation and Verification of Knowledge Based

      预售VerificationValidationKnowledge

      【预售】Validation and Verification of Knowledge Based

      ¥2,030券后¥2,1900人已购买
      优惠券¥160 领券购买 
    • 【预售】Writing Testbenches: Functional Verification o...

      预售VerificationTestbenchesFunctional

      【预售】Writing Testbenches: Functional Verification o...

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Writing Testbenches: Functional Verification o...

      预售VerificationTestbenchesFunctional

      【预售】Writing Testbenches: Functional Verification o...

      ¥2,249券后¥2,4090人已购买
      优惠券¥160 领券购买 
    • 【预售】The E Hardware Verification Language

      预售VerificationHardwareLanguage

      【预售】The E Hardware Verification Language

      ¥2,030券后¥2,1900人已购买
      优惠券¥160 领券购买 
    • 【预售】Standardized Functional Verification

      预售StandardizedVerificationFunctional

      【预售】Standardized Functional Verification

      ¥1,250券后¥1,3300人已购买
      优惠券¥80 领券购买 
    • 【预售】Computer-Aided Verification: A Special Issue of

      预售VerificationComputerSpecial

      【预售】Computer-Aided Verification: A Special Issue of

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Protocol Specification, Testing and Verification

      预售SpecificationVerificationProtocol

      【预售】Protocol Specification, Testing and Verification

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预售】Runtime Verification: 5th International Confer...

      预售InternationalVerificationRuntime

      【预售】Runtime Verification: 5th International Confer...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】Verification Plans: The Five-Day Verification Str

      Verification预售PlansFive

      【预售】Verification Plans: The Five-Day Verification Str

      ¥1,673券后¥1,7530人已购买
      优惠券¥80 领券购买 
    • 【预订】Specification and Verification of Co...

      SpecificationVerification预订Co

      【预订】Specification and Verification of Co...

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 【预售】The Foundations of Program Verification

      预售VerificationFoundationsProgram

      【预售】The Foundations of Program Verification

      ¥426券后¥4600人已购买
      优惠券¥34 领券购买 
    • 【预订】Embedded Software Verification and Debugging

      VerificationDebugging预订Embedded

      【预订】Embedded Software Verification and Debugging

      ¥1,344券后¥1,4240人已购买
      优惠券¥80 领券购买 
    • 海外直订Hardware and Software: Verification and Testing: 6th International Haifa Verific 硬件和软件:验证和测试:第

      InternationalVerificationHardwareSoftware

      海外直订Hardware and Software: Verification and Testing: 6th International Haifa Verific 硬件和软件:验证和测试:第

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 【预订】Verification Techniques for System-Level Design

      VerificationTechniques预订System

      【预订】Verification Techniques for System-Level Design

      ¥996券后¥1,0760人已购买
      优惠券¥80 领券购买 
    • 海外直订Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte 利用形式方法的应用,验证和

      ApplicationsVerificationLeveragingValidation

      海外直订Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte 利用形式方法的应用,验证和

      ¥543券后¥5530人已购买
      优惠券¥10 领券购买 
    • 海外直订The Secd Microprocessor: A Verification Case Study SECD微处理器:验证案例研究

      微处理器SecdMicroprocessorVerification

      海外直订The Secd Microprocessor: A Verification Case Study SECD微处理器:验证案例研究

      ¥993券后¥1,0330人已购买
      优惠券¥40 领券购买 
    • 【预售】Design and Verification of Microprocessor Systems

      预售MicroprocessorVerificationSystems

      【预售】Design and Verification of Microprocessor Systems

      ¥1,563券后¥1,6430人已购买
      优惠券¥80 领券购买 
    • 【预订】EDA for IC System Design, Verification, and Testing

      Verification预订TestingSystem

      【预订】EDA for IC System Design, Verification, and Testing

      ¥1,875券后¥2,0350人已购买
      优惠券¥160 领券购买 
    • 【预售】Runtime Verification

      预售VerificationRuntime

      【预售】Runtime Verification

      ¥677券后¥7110人已购买
      优惠券¥34 领券购买 
    • 【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E

      预售VerificationAtmosphericPractioner

      【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E

      ¥1,384券后¥1,4640人已购买
      优惠券¥80 领券购买 
    • 【预售】Verification of Sequential and Concurrent Programs

      预售VerificationSequentialConcurrent

      【预售】Verification of Sequential and Concurrent Programs

      ¥842券后¥8760人已购买
      优惠券¥34 领券购买 
    • 【预订】Reconfigurable System Design and Verification

      ReconfigurableVerification预订System

      【预订】Reconfigurable System Design and Verification

      ¥1,548券后¥1,6280人已购买
      优惠券¥80 领券购买 
    • 【预订】Verification and Evaluation of Computer and Communication Systems

      CommunicationVerificationEvaluation预订

      【预订】Verification and Evaluation of Computer and Communication Systems

      ¥514券后¥5480人已购买
      优惠券¥34 领券购买 
    • 海外直订Verification and Control of Hybrid Systems: A Symbolic Approach 混合系统的验证与控制:一种符号方法

      Verification符号混合Symbolic

      海外直订Verification and Control of Hybrid Systems: A Symbolic Approach 混合系统的验证与控制:一种符号方法

      ¥1,303券后¥1,3430人已购买
      优惠券¥40 领券购买 
    • 【预售】Logic Synthesis and Verification Algorithms

      预售VerificationAlgorithmsSynthesis

      【预售】Logic Synthesis and Verification Algorithms

      ¥924券后¥1,0040人已购买
      优惠券¥80 领券购买 
    • 【预售】A Unified Approach for Timing Verification and Delay

      预售VerificationApproachUnified

      【预售】A Unified Approach for Timing Verification and Delay

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    • 【预售】Taxonomies for the Development and Verification of

      预售VerificationDevelopmentTaxonomies

      【预售】Taxonomies for the Development and Verification of

      ¥1,015券后¥1,0950人已购买
      优惠券¥80 领券购买 
    上一页 1 ...  14   15  16  17   18  ... 23 下一页