77 元券InternationalSpecification9783540687603Development￥5600去看看澜瑞图书专营店发布了【3-4周达】B 2007: Formal Specification and Development in B : 7th International Conference of B User... [9783540687603]
![【3-4周达】B 2007: Formal Specification and Development in B : 7th International Conference of B User... [9783540687603]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01mOVAjG28LaMlPJoSJ_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
