7,429 followers
劉先生の著書はこちら。Formal Engineering for Industrial Software Development (2004) 形式工学手法、数学を用いてソフトウェアシステムを開発する手法について解説されています。(ソフトウェア工学)https://t.co/GWSrSgA6GQ
劉先生の著書はこちら。Formal Engineering for Industrial Software Development (2004) 形式工学手法、数学を用いてソフトウェアシステムを開発する手法について解説されています。(ソフトウェア工学)https://t.co/GWSrSgA6GQ