¥ 22 八五品
仅1件
作者anderson
出版社wiley
出版时间1979
装帧平装
上书时间2014-10-15
PROVING AND IMPROVING PROGRAMS 7711
八五品北京
¥ 11.00
PROVING PROGRAMS CORRECT,程序正确性的证明(京)国内印刷——京——a
八五品襄阳
¥ 15.00
interactive theorem proving
八五品南京
¥ 760.00
The Proving Ground
八五品北京
¥ 45.00
THE PROVING GROUND
七五品上海
¥ 12.00
AHTOH COR
九品菏泽
¥ 5.00
MY COR
八五品北京
¥ 10.00
cor psing
九品嘉兴
¥ 35.00
Im proving AUral Comprehension
八五品廊坊
¥ 7.00
COR DWAINER SMITH
八五品濮阳市
¥ 40.00
— 没有更多了 —
以下为对购买帮助不大的评价