verification
|
【3-4周达】Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 20... [9783319681665]
【3-4周达】Functional Verification of Dynamically Reconfigurable FPGA-based Systems (Softcover reprin... [9783319380865]
按需印刷不退不换Cross-Media Authentication and Verification[9781522555926]
预订 精装 Practical Design Verification [9780521859721]
海外直订Logic Synthesis and Verification Algorithms
【3-4周达】Polynomial Formal Verification of Approximate Functions (1st ed. 2023) [9783658418878]
【3-4周达】Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite N... [9783658126797]
预订 精装 Real Time Programming: Languages, Specification and Verification [9789810225667]
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Speciali 利用正式方法、验证和确认的
【3-4周达】精装 Formal Description Techniques and Protocol Specification, Testing and Verification : ... [9780412820601]
预订 精装 Reactive Systems: Modelling, Specification and Verification [9780521875462]
【3-4周达】Divine Name Verification: An Essay on Anti-Darwinism, Intelligent Design, and the Computat... [9780615839080]
海外直订Verification of Thomas More's Utopia serving as eponym and paragon for the liter 以托马索·坎帕内拉为例，验
【3-4周达】精装 Towards an Empirical Verification of the Gravitational Pull Hypothesis : Evidence fro... [9783631903186]
【3-4周达】Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada... [9783540646082]
【3-4周达】Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November ... [9783030037680]
【3-4周达】A Theory of Creative Thinking : Construction and Verification of the Dual Circulation Mode... [9789811353055]
海外直订Prediction and Verification of Ductile Crack Growth from Simulated Defects in St 强度超匹配对接焊缝模拟缺陷
海外直订Verification in Economics and History: A Sequel to 'Scientifization' 经济学和历史的验证(劳特利奇复兴):“科
海外直订Nuclear Non-Proliferation in International Law, Volume 2: Verification and Compl 国际法中的核不扩散，第2卷:
海外直订Computer Aided Verification: 26th International Conference, Cav 2014, Held as Pa 计算机辅助验证：第26届国际
海外直订Formal Verification of Circuits 电路的形式验证
海外直订Challenges Of Verification 核实的挑战
按需印刷不退不换Verification, Validation and Testing in Software Engineering[9781591408512]
海外直订Higher Order Logic and Hardware Verification 高阶逻辑与硬件验证
海外直订Standardized Functional Verification 标准化的功能验证
海外直订Modeling and Verification of Real-time Systems 实时系统的建模与验证
海外直订Hardware and Software, Verification and Testing: Second International Haifa Veri
【3-4周达】Principles of Functional Verification [9780750676175]
预售 Design, Specification and Verification of Interactive Systems '99: Proceedings o 1999年6月2日至4日在葡萄【中商原版? |
![【3-4周达】Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 20... [9783319681665]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN010JuLIx2V6mD1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 20... [9783319681665]")
![【3-4周达】Functional Verification of Dynamically Reconfigurable FPGA-based Systems (Softcover reprin... [9783319380865]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN016Pue50fckFJ1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Functional Verification of Dynamically Reconfigurable FPGA-based Systems (Softcover reprin... [9783319380865]")
![按需印刷不退不换Cross-Media Authentication and Verification[9781522555926]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01dBWOSm1a4SIld1Byu_!!0-item_pic.jpg "按需印刷不退不换Cross-Media Authentication and Verification[9781522555926]")
![预订 精装 Practical Design Verification [9780521859721]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01sNwya828LaPb8tuWt_!!4611686018427384108-0-item_pic.jpg "预订 精装 Practical Design Verification [9780521859721]")
![【3-4周达】Polynomial Formal Verification of Approximate Functions (1st ed. 2023) [9783658418878]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01kHZAqK28LaP3fuAWX_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Polynomial Formal Verification of Approximate Functions (1st ed. 2023) [9783658418878]")
![【3-4周达】Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite N... [9783658126797]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01SYOCw828LaP3dKrGb_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite N... [9783658126797]")
![预订 精装 Real Time Programming: Languages, Specification and Verification [9789810225667]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01POVDqn28LaOzoQESs_!!4611686018427384108-0-item_pic.jpg "预订 精装 Real Time Programming: Languages, Specification and Verification [9789810225667]")
![【3-4周达】精装 Formal Description Techniques and Protocol Specification, Testing and Verification : ... [9780412820601]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01EgGsPT28LaPbVmWPe_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Formal Description Techniques and Protocol Specification, Testing and Verification : ... [9780412820601]")
![预订 精装 Reactive Systems: Modelling, Specification and Verification [9780521875462]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01w2MT3q28LaPbM7mZ6_!!4611686018427384108-0-item_pic.jpg "预订 精装 Reactive Systems: Modelling, Specification and Verification [9780521875462]")
![【3-4周达】Divine Name Verification: An Essay on Anti-Darwinism, Intelligent Design, and the Computat... [9780615839080]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01wEH5En28LaPbPxPtD_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Divine Name Verification: An Essay on Anti-Darwinism, Intelligent Design, and the Computat... [9780615839080]")
![【3-4周达】精装 Towards an Empirical Verification of the Gravitational Pull Hypothesis : Evidence fro... [9783631903186]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01AYsW3J28LaPCUIeNI_!!4611686018427384108-0-item_pic.jpg "【3-4周达】精装 Towards an Empirical Verification of the Gravitational Pull Hypothesis : Evidence fro... [9783631903186]")
![【3-4周达】Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada... [9783540646082]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01SFDoGm28LaP0wN8cn_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada... [9783540646082]")
![【3-4周达】Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November ... [9783030037680]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01qljpXxK9w9D1chua_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November ... [9783030037680]")
![【3-4周达】A Theory of Creative Thinking : Construction and Verification of the Dual Circulation Mode... [9789811353055]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN011BWRbK28LaP49Q9mt_!!4611686018427384108-0-item_pic.jpg "【3-4周达】A Theory of Creative Thinking : Construction and Verification of the Dual Circulation Mode... [9789811353055]")
![按需印刷不退不换Verification, Validation and Testing in Software Engineering[9781591408512]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01lUJrvh1a4SIkTRwY1_!!0-item_pic.jpg "按需印刷不退不换Verification, Validation and Testing in Software Engineering[9781591408512]")
![【3-4周达】Principles of Functional Verification [9780750676175]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01iwVhvJ28LaPbehwKg_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Principles of Functional Verification [9780750676175]")
