以正規化規格語言來描述軟體代理人之特性. A Formal Specification Approach to Modeling Properties of Software Agents. 潘健一; 賴聯福.
確定! 回上一頁