verification
|
【3-4周达】Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Softco... [9783319892146]
【3-4周达】Advanced Formal Verification (Softcover reprint of the original 1st ed. 2004) [9781441954206]
【3-4周达】Formal Hardware Verification : Methods and Systems in Comparison [9783540634751]
【3-4周达】精装 Formal Verification of Floating-Point Hardware Design : A Mathematical Approach (Seco... [9783030871802]
【3-4周达】Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY... [9783030284220]
【3-4周达】Compositional Verification of Concurrent and Real-Time Systems [9781461353492]
【3-4周达】Standardized Functional Verification [9781441944078]
【3-4周达】Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 20... [9783031453311]
【3-4周达】Verification, Model Checking, and Abstract Interpretation: Third International Workshop, V... [9783540436317]
【3-4周达】精装 Computer Aided Verification: Techniques and Applications [9781647265861]
【3-4周达】精装 New Paradigms in Computer Aided Verification [9781639896905]
【3-4周达】Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July... [9783030816872]
预订 Timed Automata as a Verification Tool for Security Protocols [9783844394603]
【3-4周达】Logic Synthesis and Verification [9781461352532]
海外直订Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, 计算机辅助验证:第20届国际
海外直订Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, C 计算机辅助验证:1992年6月
【3-4周达】Verification-based software-fault detection [9783866446762]
【3-4周达】Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, Ju... [9783540677703]
【3-4周达】精装 The Complete Guide to SCION : From Design Principles to Formal Verification [9783031052873]
【3-4周达】Brain training for the elderly: Verification of the effectiveness (Aufl.) [9783659835629]
海外直订Geometric Product Specification and Verification: Integration of Functionality: 几何产品规范和验证：功能集
【3-4周达】Handbook of Formal Analysis and Verification in Cryptography [9780367546663]
海外直订Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, 计算机辅助验证：第17届国际
预订 Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证 9783031245732
海外直订Functional Verification of Programmable Embedded Architectures: A Top-Down Appro 可编程嵌入式体系结构的功能
海外直订Validation and Verification of Automated Driving Systems 自动驾驶系统的验证和验证
【3-4周达】Computer Aided Verification [9781013271007]
预订 Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings
【3-4周达】Leveraging Applications of Formal Methods, Verification, and Validation: International Wor... [9783642347801]
【3-4周达】精装 Taxonomies for the Development and Verification of Digital Systems [9780387240190] |
![【3-4周达】Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Softco... [9783319892146]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01X6F1E928LaOvzFbO4_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Softco... [9783319892146]")
![【3-4周达】Advanced Formal Verification (Softcover reprint of the original 1st ed. 2004) [9781441954206]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01PbKgSg28LaOqmd2uf_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Advanced Formal Verification (Softcover reprint of the original 1st ed. 2004) [9781441954206]")
![【3-4周达】Formal Hardware Verification : Methods and Systems in Comparison [9783540634751]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01wTYMF028LaP0awKEc_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Formal Hardware Verification : Methods and Systems in Comparison [9783540634751]")
![【3-4周达】精装 Formal Verification of Floating-Point Hardware Design : A Mathematical Approach (Seco... [9783030871802]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01CajSMN28LaOrL53Dt_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Formal Verification of Floating-Point Hardware Design : A Mathematical Approach (Seco... [9783030871802]")
![【3-4周达】Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY... [9783030284220]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN012PlNAG28LaOwA8Srv_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY... [9783030284220]")
![【3-4周达】Compositional Verification of Concurrent and Real-Time Systems [9781461353492]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01X03mCC28LaOr6kWJZ_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Compositional Verification of Concurrent and Real-Time Systems [9781461353492]")
![【3-4周达】Standardized Functional Verification [9781441944078]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01IZz1I528LaOqxLlVD_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Standardized Functional Verification [9781441944078]")
![【3-4周达】Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 20... [9783031453311]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01eJKIyT28LaOvza4ZN_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 20... [9783031453311]")
![【3-4周达】Verification, Model Checking, and Abstract Interpretation: Third International Workshop, V... [9783540436317]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN014H9FxF28LaP0ai5s7_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Verification, Model Checking, and Abstract Interpretation: Third International Workshop, V... [9783540436317]")
![【3-4周达】精装 Computer Aided Verification: Techniques and Applications [9781647265861]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01MefkFI28LaOrTc4kU_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Computer Aided Verification: Techniques and Applications [9781647265861]")
![【3-4周达】精装 New Paradigms in Computer Aided Verification [9781639896905]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01H9RxOg28LaOrqVHsv_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 New Paradigms in Computer Aided Verification [9781639896905]")
![【3-4周达】Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July... [9783030816872]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01FVS4KH28LaP7Oa0VQ_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July... [9783030816872]")
![预订 Timed Automata as a Verification Tool for Security Protocols [9783844394603]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01ii2uSL28LaP4UhIbC_!!4611686018427384108-0-item_pic.jpg "预订 Timed Automata as a Verification Tool for Security Protocols [9783844394603]")
![【3-4周达】Logic Synthesis and Verification [9781461352532]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01oSB0Wv28LaOr6rTEb_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Logic Synthesis and Verification [9781461352532]")
![【3-4周达】Verification-based software-fault detection [9783866446762]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01okNfgd28LaOzLaucO_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Verification-based software-fault detection [9783866446762]")
![【3-4周达】Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, Ju... [9783540677703]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01wnTmCt28LaP1eZcq3_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, Ju... [9783540677703]")
![【3-4周达】精装 The Complete Guide to SCION : From Design Principles to Formal Verification [9783031052873]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01R1UALY28LaOvfTJaa_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 The Complete Guide to SCION : From Design Principles to Formal Verification [9783031052873]")
![【3-4周达】Brain training for the elderly: Verification of the effectiveness (Aufl.) [9783659835629]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01XoVP7128LaPM0sZse_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Brain training for the elderly: Verification of the effectiveness (Aufl.) [9783659835629]")
![【3-4周达】Handbook of Formal Analysis and Verification in Cryptography [9780367546663]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01jH62WB28LaPA14UF3_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Handbook of Formal Analysis and Verification in Cryptography [9780367546663]")
![【3-4周达】Computer Aided Verification [9781013271007]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01IM6f4la72dL1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Computer Aided Verification [9781013271007]")
![【3-4周达】Leveraging Applications of Formal Methods, Verification, and Validation: International Wor... [9783642347801]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01rmHElt28LaP1AGUEa_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Leveraging Applications of Formal Methods, Verification, and Validation: International Wor... [9783642347801]")
![【3-4周达】精装 Taxonomies for the Development and Verification of Digital Systems [9780387240190]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN019OsZJn28LaPbT2KGy_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Taxonomies for the Development and Verification of Digital Systems [9780387240190]")