mixiで趣味の話をしよう

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

形式手法

ログインして参加する

  • mixiチェック
  • このエントリーをはてなブックマークに追加
詳細 2017年10月7日 01:10更新

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

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

主に扱いたい話題としては以下のところ。
１．手法自体について(Z,VDM,SPIN)
２．書籍について
３．ツールについて
４．セミナーレポート

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

形式手法 たった今

最近の投稿がありません泣き顔
つぶやき・トピック・イベント・アンケートを作成して参加者と交流しようわーい（嬉しい顔）
参加メンバー 33人

もっと見る

開設日
2006年12月24日

7020日間運営

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

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

メンバーの参加コミュニティ

一覧へ

人気コミュニティランキング

困ったときには

このページの上部へ