NAKAMURA Masaki | School of Information Science, Japan Advanced Institute of Science and Technology

スポンサーリンク

概要

• 同名の論文著者
• School of Information Science, Japan Advanced Institute of Science and Technologyの論文著者

関連著者

• 中村 正樹

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

• 中村 正樹

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

• NAKAMURA Masaki

  School of Information Science, Japan Advanced Institute of Science and Technology

• 中村 正樹

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

• Nakamura Masaki

  Kanazawa Univ. Kanazawa‐shi Jpn

• Nakamura Masaki

  School Of Electrical And Computer Engineering Kanazawa University

• Futatsugi Kokichi

  School Of Information Science Jaist

• FUTATSUGI Kokichi

  School of Information Science

• Kusakari Keiichirou

  School Of Information Science Jaist

• Ogata Kazuhiro

  School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)

• Ogata Kazuhiro

  School Of Information Science Jaist

• FUTATSUGI Kokichi

  School of Information Science, JAIST

• WATANABE Masahiro

  Production Engineering Research Laboratory, Hitachi Ltd.

• KONG Weiqiang

  School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

• Toyama Yoshihito

  School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku

• Kong Weiqiang

  School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)

• Toyama Yoshihito

  School Of Information Science Jaist

• Futatsugi Kokichi

  Jaist Nomi‐shi Jpn

• Watanabe Masahiro

  Production Engineering Research Laboratory Hitachi Ltd.

• Ogata Kazuhiro

  School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

もっと見る 閉じる

著作論文

• A Specification Translation from Behavioral Specifications to Rewrite Specifications
• Argument filtering transformation
• A Behavioral Specification of Imperative Programming Languages

スポンサーリンク