关注微信公众号查券更方便
【3-4周达】Introducing Software Verification with Dafny Language : Proving Program Correctness (1st e... [9781484279779]
【3-4周达】Embedded System Design : Modeling, Synthesis and Verification [9781489985309]
【3-4周达】Writing Testbenches : Functional Verification of HDL Models (Softcover reprint of the orig... [9781475783445]
【3-4周达】Open Verification Methodology Cookbook [9781489985132]
【3-4周达】Specification and Verification of Multi-agent Systems [9781489990884]
【3-4周达】Protocol Specification, Testing and Verification XIV [9781475763089]
【3-4周达】High-Level Verification : Methods and Tools for Verification of System-Level Designs [9781493901012]
【3-4周达】Principles of Verifiable RTL Design : A functional coding style supporting verification pr... [9781475773132]
【3-4周达】The e Hardware Verification Language (Softcover reprint of the original 1st ed. 2004) (Sof... [9781475779264]
【3-4周达】SystemVerilog for Verification : A Guide to Learning the Testbench Language Features (3rd ... [9781489995001]
【3-4周达】Hardware Verification with C++ : A Practitioner's Handbook (Softcover reprint of the origi... [9781489978974]
【3-4周达】Design and Verification of Microprocessor Systems for High-Assurance Applications [9781489984593]
【3-4周达】The Science of Biometrics : Security Technology for Identity Verification [9781498761246]
【3-4周达】Scalable Techniques for Formal Verification [9781489984449]
【3-4周达】Embedded Software Verification and Debugging (Softcover reprint of the original 1st ed. 20... [9781493979318]
【3-4周达】Electronic Design Automation for IC System Design, Verification, and Testing [9781482254624]
【3-4周达】Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE... [9781475752601]
Customer Email Verification for WooCommerce插件 邮件验证插件
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
LX200-CON-K25 Luminex 100/200 Performance Verification Kit议
LX200-CON-K25路明克斯检测试剂盒Luminex 100/200 Verification
全新770065原装(VERIFICATION TESTER FOR 724 725)正品
解决瓦罗兰特VALORANT报错限制5 HVCI verification failure
AATCC摩擦校正布AATCCCVC25
JOJO'SLIFEPD水果圆盆和面盆
预售 按需印刷 Challenges Of Verification
【预售 按需印刷】 Formal Verification of Control System Software控制系统软件的形式验证 英文原版普林斯顿
预售 按需印刷 Strategic Disarmament, Verification and National Security
按需印刷Computer Aided Verification[9781013270994]
按需印刷LSTM Recurrent Neural Networks for Signature Verification[9783846589946]
【预售 按需印刷】速度无关电路自动层次验证的跟踪理论Trace Theory for Automatic Hierarchical Verification 进口英文正版书籍
【预订】18th Edition IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed
预售 按需印刷 Verification
预订Formal Verification of Control System Software[9780691181301]
预订 Digital System Verification: A Combined Formal Methods and Simulation Framework
预订 An Introduction to Verification of Visualization Techniques
预订 The Supernatural In Nature: A Verification By Free Use Of Science: 9781425496630
预订 The Social Misconstruction of Reality: Validity and Verification in the Scholarly Community 现实的社会误解：学术共
预订Formal Verification of Floating-Point Hardware Design
按需印刷Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle[9783836494526]
按需印刷Extending KeY for the Verification of C Programs[9783639000023]
预订Solar Photovoltaic Power Optimization:Enhancing System Performance through Operations, Measurement, and Verification
【预售】Digital System Verification: A Combined Formal
预售 按需印刷 Gender Verification and the Making of the Female Body in Sport
【预售】Biometrics: Identity Verification In A Networked
预订Formal Verification
预订 Accessible Technologies for the Verification of Origin of Dairy Products as an Example Control System to Enhance Gl
按需印刷Computer-Aided Verification of Coordinating Processes[9780691606057]
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features SystemVerilog 用于验证: 97814899950
[预订]Multicore Hardware-Software Design and Verification Techniques 9781608056859
【预售】Logic Synthesis and Verification Algorithms
预订 Semi-physical Verification Technology for Dynamic Performance of Internet of Things System: 9789811317583
预订 Semi-Physical Verification Technology for Dynamic Performance of Internet of Things System: 9789811346774
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
【预售】The Inverse Method / Parametric Verification Of Real-Time Unbedded Systems
【预订】Computer Aided Verification 9783030816872
[预订]Computer Aided Verification 9783031377082
[预订]Computer Aided Verification 9783031377051
【预订】Computer Aided Verification 9783030816841
【预订】Computer Aided Verification
【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131844
【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131875
预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc
[预订]Computer Aided Verification 9783031377020
[预订]Handbook of Formal Analysis and Verification in Cryptography 9780367546656
【预订】EDA for IC System Design, Verification, and Testing
[预订]Computer Aided Verification 9781013271175
按需印刷Computer Aided Verification[9781013271007]
按需印刷Computer Aided Verification[9781013271144]
预订 Information Verification in the Digital Age: The News Library Perspective: 9783031009112
[预订]Computer Aided Verification 9781013270994
【预售】The Foundations of Program Verification
【预订】Verification Techniques for System-Level Design
预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国
预订 101 Topics for Clinical Microbiology Laboratory Leaders: Accreditation, Verification, Quality Systems, and More 临
预订 Environmental Technology Verification Report for Installation of Silt Fence Using the Tommy Static Slicing Method:
预订 Environmental Technical Verification Report for Ammonia Recovery Process: 9780784404584
按需印刷Verification and Extension of La Caille's Arc of Meridian at the Cape of Good Hope[9783337813291]
【预售】Modern Hearing AIDS: Verification, Outcome Mea...
【预订】Low-Power Design and Power-Aware Verification
按需印刷Verification and Validation for Modeling and Simulation[9781312740617]
【预订】Modeling and Verification of Parallel Processes
【预售】Simulation and Verification of Electronic and
【预售】Computer Aided Verification: 10th International
【预售】A Roadmap for Formal Property Verification
【预售】Computer Aided Verification: 22nd International
【预售】Verification of Sequential and Concurrent Programs
【预售】Computer Aided Verification: 21st International
【预订】Computer Aided Verification 9783540677703
【预订】Functional Verification of Dynamical...
【预售】Current Trends in Hardware Verification and
【预订】Effective Functional Verification
【预订】Accuracy Verification Methods: Theor...
【预订】Computational Methods in Transport: Verification and Validation
【预订】Functional Verification of Programma...
【预订】High-Level Verification
【预售】Video Verification in the Fake News Era
![【3-4周达】Introducing Software Verification with Dafny Language : Proving Program Correctness (1st e... [9781484279779]](/Public/skin2/static/tqkpc/images/grey.gif)