80 元券 International9783319912707ConferenceAbstract ￥520 0去看看 澜瑞图书专营店发布了 【4周达】Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018,... [9783319912707]
![【4周达】Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018,... [9783319912707]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01VOg8db28LaGb1YsPk_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
