mixiで趣味の話をしよう

mixiコミュニティには270万を超える趣味コミュニティがあるよ
ログインもしくは登録をして同じ趣味の人と出会おう♪

開催終了第1回FormalMethods勉強会

SPIN MODEL CHECKER

SPIN MODEL CHECKER

詳細

2010年01月28日 21:32 更新

形式手法に興味があっても、仲間がいないという方のために、勉強会を開きます。
興味のある方はご参加ください。
http://atnd.org/events/2968

コメント(0)

mixiユーザー
ログインしてコメントしよう！

[SPIN MODEL CHECKER] コミュニティトップへ

  • 2010年02月08日 (月)
  • 東京都
  • 2010年02月08日 (月) 締切
  • イベントに参加する
  • 気になる！
参加者
1人

主催者

mixiユーザー

mixiユーザー

主催イベント3回

困ったときには

このページの上部へ