人郵社Event B建模 系統和軟件工程 裘宗燕翻譯eventb rodin使用教程 形式化方法教材 軟件工程基礎導論 系統建模數學方法

Buy2you平臺展示的所有代購商品並非Buy2you網站所售商品，均為第三方購物平臺商品。故如涉及相關商品的侵權事宜，全部由第三方購物平臺相應商戶承擔責任，Buy2you概不承擔任何法律責任，亦不承擔任何關聯或者連帶責任。