2010-02-08から1日間の記事一覧
http://groups.google.co.jp/group/fm-forum 開設いたしました。本日は皆様、第1会勉強会に参加ありがとうございました。今後の活動として、 Coq、B-Method、ソフトウェア科学基礎 の3本立てで勉強会を進めていきます。
http://groups.google.co.jp/group/fm-forum 開設いたしました。本日は皆様、第1会勉強会に参加ありがとうございました。今後の活動として、 Coq、B-Method、ソフトウェア科学基礎 の3本立てで勉強会を進めていきます。