|  | 
 
 发表于 2008-3-18 16:11:11
|
显示全部楼层 
| 
 
    原帖由 benemale 于 2008-1-26 20:43 发表 65927
 Constraint-Based Verification
 
 Yuan, Jun, Pixley, Carl, Aziz, Adnan
 
 2006, XII, 253 p., Hardcover
 ISBN: 978-0-387-25947-5
 
 
 This item usually ships in 2-3 business days
 
 $109.00
 
 ...
 
 谢谢楼主了
 | 
 |