您现在所在的位置：首页>verification
verification
|
预订 Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Concurre... [9780521169325]
【3-4周达】Current Trends in Hardware Verification and Automated Theorem Proving [9781461281955]
【3-4周达】Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland... [9783540272311]
预订 精装 Practical Design Verification [9780521859721]
【3-4周达】AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–... [9783031651113] |
![预订 Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Concurre... [9780521169325]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01eTFnVr28LaPixEF6V_!!4611686018427384108-0-item_pic.jpg "预订 Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Concurre... [9780521169325]")
![【3-4周达】Current Trends in Hardware Verification and Automated Theorem Proving [9781461281955]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01kcq5lo28LaOqzIWEz_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Current Trends in Hardware Verification and Automated Theorem Proving [9781461281955]")
![【3-4周达】Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland... [9783540272311]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01K7Zuff28LaP0eh1K3_!!4611686018427384108-0-item_pic.jpg "【3-4周达】Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland... [9783540272311]")
![预订 精装 Practical Design Verification [9780521859721]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01sNwya828LaPb8tuWt_!!4611686018427384108-0-item_pic.jpg "预订 精装 Practical Design Verification [9780521859721]")
![【3-4周达】AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–... [9783031651113]](http://tupian.y866.cn/picture/pic8554675/tu9/O1CN01Fcsuu228LaOvgn9Xy_!!4611686018427384108-0-item_pic.jpg "【3-4周达】AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–... [9783031651113]")