|
发表于 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
...
谢谢楼主了 |
|