verification
|
预订 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th In
[预订]Partial Order Methods in Verification 9780821805794
[预订]Runtime Verification 9783031442667
预订 Decidability of Parameterized Verification
预订 Concise Guide to Software Verification: From Model Checking to Annotation Checking 软件验证简明指南：从模型检查到标
【预订】Verification and Evaluation of Computer and Communication Systems 9783030988494
预订 Introduction to Finite Element Analysis - Formulation, Verification and Validation 介绍有限元分析：构想，验证和确认
【3-4周达】精装 Independent Verification And Validation: Life Cycle Engineering Process For Quality S... [9780471570110]
预订 Verification, Validation, and Uncertainty Quantification in Scientific Computing 科学计算中的验证、确认和不确定度量
【预订】Computer Aided Verification: 34th International Conference, Cav 2022 9783031131875
[预订]Verification, Model Checking, and Abstract Interpretation
预订 AI Verification Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings 人工智能
【3-4周达】A Practical Guide to Adopting the Universal Verification Methodology (UVM) Second Edition [9781300535935]
预订 Heterogeneous SoC Design and Verification
预订 Verification And Validation For Quality Of Uml 2.0 Models UML 2.0 建模质量检验和确认: 9780471727835
【3-4周达】精装 Communication Protocol Specification and Verification [9780792382843]
预订 AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings人工
预订 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th Int
预订 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nico
预订 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Sympo
[预订]Computer Aided Verification 9783031377020
预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ
预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ
预订 Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France
[预订]Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi 9783031433658
【3-4周达】精装 Embedded System Design : Modeling, Synthesis and Verification [9781441905031]
【3-4周达】Validation and Verification of Knowledge Based Systems : Theory, Tools and Practice [9781441951076]
【3-4周达】The UVM Primer: A Step-by-Step Introduction to the Universal Verification Methodology [9780974164939]
【预售 按需印刷】 Formal Verification of Control System Software控制系统软件的形式验证 英文原版普林斯顿
【3-4周达】Writing Testbenches: Functional Verification of HDL Models (Second Edition 2003) [9781461350125] |
![[预订]Partial Order Methods in Verification 9780821805794](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01bxK68X1ym0qG4mD0h_!!0-item_pic.jpg "[预订]Partial Order Methods in Verification 9780821805794")
![[预订]Runtime Verification 9783031442667](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01edgNfZ1ym0rQ5Fikp_!!0-item_pic.jpg "[预订]Runtime Verification 9783031442667")
![【3-4周达】精装 Independent Verification And Validation: Life Cycle Engineering Process For Quality S... [9780471570110]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN013tjujW28LaPixziJ5_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Independent Verification And Validation: Life Cycle Engineering Process For Quality S... [9780471570110]")
![[预订]Verification, Model Checking, and Abstract Interpretation](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01HV6RQV1ym0mQt9gn9_!!0-item_pic.jpg "[预订]Verification, Model Checking, and Abstract Interpretation")
![【3-4周达】A Practical Guide to Adopting the Universal Verification Methodology (UVM) Second Edition [9781300535935]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01Xg3gwo28LaOqHlbcO_!!4611686018427384108-0-item_pic.jpg "【3-4周达】A Practical Guide to Adopting the Universal Verification Methodology (UVM) Second Edition [9781300535935]")
![【3-4周达】精装 Communication Protocol Specification and Verification [9780792382843]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01saH92L28LaOnyc874_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Communication Protocol Specification and Verification [9780792382843]")
![[预订]Computer Aided Verification 9783031377020](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01EQCRPV1ym0pDIblLx_!!0-item_pic.jpg "[预订]Computer Aided Verification 9783031377020")
![[预订]Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi 9783031433658](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01Jbimgc1ym0qF7yU5T_!!0-item_pic.jpg "[预订]Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi 9783031433658")
![【3-4周达】精装 Embedded System Design : Modeling, Synthesis and Verification [9781441905031]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01JS2JYu28LaOqwhx3F_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Embedded System Design : Modeling, Synthesis and Verification [9781441905031]")
![【3-4周达】Validation and Verification of Knowledge Based Systems : Theory, Tools and Practice [9781441951076]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN011dSYH728LaOqxRk0A_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Validation and Verification of Knowledge Based Systems : Theory, Tools and Practice [9781441951076]")
![【3-4周达】The UVM Primer: A Step-by-Step Introduction to the Universal Verification Methodology [9780974164939]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01ewZ2XO28LaIj9B6Rv_!!4611686018427384108-0-item_pic.jpg "【3-4周达】The UVM Primer: A Step-by-Step Introduction to the Universal Verification Methodology [9780974164939]")
![【3-4周达】Writing Testbenches: Functional Verification of HDL Models (Second Edition 2003) [9781461350125]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01ZL5MNz28LaOqnVeJl_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Writing Testbenches: Functional Verification of HDL Models (Second Edition 2003) [9781461350125]")