40 元券 Specification9781860940187IntroductionToolkit ￥446 0去看看 澜瑞图书专营店发布了 【4周达】Specification in B: An Introduction Using the B Toolkit [9781860940187]
![【4周达】Specification in B: An Introduction Using the B Toolkit [9781860940187]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01PBuK1K28LaGWEnpHp_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
