【4周达】Deductive verification of object-oriented software : dynamic frames,dynamic logic and predi... [9783866446236]

欢迎加入51折客联盟

【4周达】Deductive verification of object-oriented software : dynamic frames, dynamic logic and predi... [9783866446236]

419.9元~~￥442~~预计返￥ 022.1元券

活动结束时间：12-31 23:59 累计销量： 0件

TAG标签： dynamic9783866446236verificationDeductive

手机淘宝扫码领券购买

原价￥15.9900 件

5元券￥10.9

原价￥99.93000 件

5元券￥94.9

原价￥596000 件

10元券￥49

原价￥84.41万件

10元券￥74.4

原价￥159.94 件

90元券￥69.9

原价￥11932 件

10元券￥109

原价￥14.93000 件

5元券￥9.9

原价￥5.90 件

2元券￥3.9

原价￥39.9800 件

5元券￥34.9

原价￥69.947 件

25元券￥44.9

原价￥18.8800 件

10元券￥8.8

原价￥19.82000 件

10元券￥9.8