¥ 37.82 6.9折 ¥ 55 全新
仅1件
作者章岚
出版社首都经济贸易大学出版社
ISBN9787563832668
出版时间2021-09
装帧其他
定价55元
上书时间2024-03-03
基于时序逻辑的Resolution自动定理证明方法
全新广州
¥ 40.43
基于时序逻辑的Resolution自动定理证明方法
全新成都
¥ 38.50
基于时序逻辑的Resolutin自动定理证明方法
全新廊坊
¥ 40.20
基于时序逻辑的Resolution自动定理证明方法
九五品北京
¥ 35.75
反应式和并发系统的时序逻辑!
全新北京
¥ 54.01
反应式和并发系统的时序逻辑
全新广州
¥ 50.17
反应式和并发系统的时序逻辑
全新武汉
¥ 60.04
反应式和并发系统的时序逻辑
全新保定
¥ 47.30
反应式和并发系统的时序逻辑
全新无锡
¥ 60.04
反应式和并发系统的时序逻辑
全新保定
¥ 53.60
— 没有更多了 —
以下为对购买帮助不大的评价