二木 厚吉 | 北陸先端大

スポンサーリンク

概要

• 同名の論文著者
• 北陸先端大の論文著者

関連著者

• 二木 厚吉

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

• 二木 厚吉

  北陸先端大

• 緒方 和博

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

• 中村 正樹

  金沢大学理工学域電子情報学類

• 清野 貴博

  北陸先端大

• El-Nashar Alaa

  Minia University

• 中村 正樹

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

• 緒方 和博

  NECソフトウェア北陸

• Senachak Jittisak

  北陸先端大

• 緒方 和博

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

• 中村 正樹

  金沢大学 理工学域 電子情報学類

• Nakamura Masaki

  Kanazawa Univ. Kanazawa‐shi Jpn

• Nakamura Masaki

  School Of Electrical And Computer Engineering Kanazawa University

もっと見る 閉じる

著作論文

• RB-003 An algebraic specification of message passing programming languages
• B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs

スポンサーリンク