人邮社Event B建模 系统和软件工程 裘宗燕翻译eventb rodin使用教程 形式化方法教材 软件工程基础导论 系统建模数学方法

Buy2you平台展示的所有代购商品并非Buy2you网站所售商品，均为第三方购物平台商品。故如涉及相关商品的侵权事宜，全部由第三方购物平台相应商户承担责任，Buy2you概不承担任何法律责任，亦不承担任何关联或者连带责任。