mixiで趣味の話をしよう

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

ホーム > コミュニティ > 学問、研究 > 形式手法

形式手法

形式手法

ログインして参加する

参加するにはログインが必要です。

  • mixiチェック
  • このエントリーをはてなブックマークに追加

コミュ内全体

詳細 2013年9月14日 18:38更新

形式手法、FormalMethodsってなにさ、
という人のためのコミュニティ。

形式手法が気になる方、一緒に勉強しましょう。

主に扱いたい話題としては以下のところ。
1.手法自体について(Z,VDM,SPIN)
2.書籍について
3.ツールについて
4.セミナーレポート

コミュニティにつぶやきを投稿

イベント

参加メンバー 38人

もっと見る

開設日
2006年12月24日

3635日間運営

カテゴリ
学問、研究
関連ワード
関連ワードを登録しよう

編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!