飯田 周作 | 北陸先端科学技術大学院大学情報科学研究科

スポンサーリンク

概要

• 飯田 周作の詳細を見る
• 同名の論文著者
• 北陸先端科学技術大学院大学情報科学研究科の論文著者

関連著者

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 飯田 周作

  北陸先端科学技術大学院大学情報科学研究科

• 渡部 卓雄

  北陸先端科学技術大学院大学

• 渡部 卓雄

  東京工業大学大学院情報理工学研究科計算工学専攻

• 松本 充広

  北陸先端科学技術大学院大学情報科学研究科:(株)pfu第一事業部

• 海野 浩

  北陸先端科学技術大学院大学情報科学研究科

• 松本 充広

  (株)PFU研究所

著作論文

• 振舞仕様に基づくシステムの記述方法
• 代数仕様言語OBJによる並行分散システムの形式仕様作成法
• CafeOBJによる分散システムの形式仕様作成法

スポンサーリンク