mixiで趣味の話をしよう
mixiコミュニティには270万を超える趣味コミュニティがあるよ ログインもしくは登録をして同じ趣味の人と出会おう♪
ログインして参加する
コミュ内全体
CSP(Communicating Sequential Processes)について 現在の書籍やツールなどの情報があまりありません。 なので、情報を共有し解析をしていきたいです。 VDMやZなどの形式手法もありますが、 CSPについての情報が本当になさすぎで。。。。
コミュニティにつぶやきを投稿
CSPについて たった今
もっと見る
6071日間運営
編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!
mixiに参加して、コミュニティをもっと楽しもう
パスワード・メールアドレスを忘れた方
オススメゲーム
もっとゲームを探す
メンバーの参加コミュニティ
Gauche
形式手法
関数型言語
SPIN MODEL CHECKER
最小OS(operating system)
ソフトウェア工学
一覧へ
人気コミュニティランキング
困ったときには