verification

海外直订An Introduction to Concrete Quality Verification and Testing 混凝土质量检验与试验简介

按需印刷不退不换Extending KeY for the Verification of C Programs[9783639000023]

海外直订Object-Based Image Analysis and Treaty Verification: New Approaches in Remote Se 基于物体的图像分析和条约核

【3-4周达】Verification, Model Checking, and Abstract Interpretation: 26th International Conference, ... [9783031827020]

海外直订Metric Driven Design Verification: An Engineer's and Executive's Guide to First 指标驱动的设计验证:工程师

海外直订Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel 计算机辅助验证:第九届国际

按需印刷不退不换Computer Aided Verification[9781013271007]

【3-4周达】精装 Scalable Techniques for Formal Verification [9781441959973]

海外直订The Verification-Based Analysis of Reliable Multicast Protocol 基于验证的可靠组播协议分析

工业配件ION SYSTEMS MODEL 775PVS PERIODIC VERIFICATION SYSTE

工业配件SA10027 MICROWAVE POWER VERIFICATION METER W/CABLE 1

询价-福禄克fluke dsx-verification系列6类跳

维修福禄克fluke dsx-verification系列6类跳议价

工业配件NEW WAVE DESIGN&VERIFICATION 100-01151-12 V1151 QUAD

有限元分析:方法、验证与确认:method, verification and validation书巴纳·萨伯ó 图书书籍

RT现货速发 有限元分析:方法、验证与确认:method, verification and validat9787111787297 巴纳·萨伯ó机械工业出版社管理书籍

正版书籍 有限元分析:方法、验证与确认:method, verification and valid巴纳·萨伯ó机械工业出版社图书 人天书店畅销书排行榜

有限元分析:方法、验证与确认:method, verification and validation巴纳·萨伯ó9787111787297 机械工业出版社 图书书籍

正版有限元分析:方法、验证与确认:method, verification and validation9787111787297 巴纳·萨伯ó机械工业出版社图书 书籍

有限元分析:方法、验证与确认:method, verification and validation巴纳·萨伯ó机械工业出版社

定制化绿色信息影响研究:探索、验证和解释:exploration verification and interpretation 王建明等 经济书籍科学出版社

AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot

AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot

【3-4周达】精装 Challenges of Software Verification [9789811996009]

预订 精装 Real-Time Systems: Formal Specification and Automatic Verification [9780521883337]

【3-4周达】Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstra... [9783540634065]

【3-4周达】精装 Verification of Computer Codes in Computational Science and Engineering [9781584882640]

预订 Higher Order Logic and Hardware Verification: - Higher Order Logic and Hardware Verification [9780521115322]

【3-4周达】精装 Discrete Element Method in the Design of Transport Systems: Verification and Validati... [9783030057121]

【3-4周达】Formal System Verification : State-of the-Art and Future Trends (Softcover reprint of the ... [9783319862231]