PROVING PROGRAMS CORRECT，程序正确性的证明(京)国内印刷——京——a
￥ 15 八五品
仅1件
作者见图
出版社见图
出版时间1979
装帧平装
上书时间2020-09-16
商品详情
- 品相描述：八五品
相关推荐
-
interactive theorem proving
八五品南京
￥ 760.00
-
The Proving Ground
八五品北京
￥ 45.00
-
THE PROVING GROUND
七五品上海
￥ 12.00
-
Im proving AUral Comprehension
八五品廊坊
￥ 7.00
-
proving programs correct 5102
八五品北京
￥ 22.00
-
The Proving Trail: A Novel
八五品上海
￥ 78.00
-
Proving Darwin: Making Biology Mathematical
九品石家庄
￥ 75.00
-
PROVING AND IMPROVING PROGRAMS 7711
八五品北京
￥ 11.00
-
The Proving Trail（ 英语原版 )
八五品淮安
￥ 28.00
-
Mechanical Theorem Proving in Geometries 吴文俊
九品天津
￥ 40.00
— 没有更多了 —
以下为对购买帮助不大的评价