66 元券9783540662020InternationalVerificationConference￥5920去看看澜瑞图书专营店发布了【3-4周达】Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-... [9783540662020]
![【3-4周达】Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-... [9783540662020]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01L74DYA28LaNEY6WZy_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
