北 英彦 | 名古屋大学工学部

スポンサーリンク

概要

• 同名の論文著者
• 名古屋大学工学部の論文著者

関連著者

• 稲垣 康善

  名古屋大学

• 北 英彦

  名古屋大学工学部

• 坂部 俊樹

  名古屋大学大学院情報科学研究科

• 坂部 俊樹

  三重大学工学部

• 坂部 俊樹

  名古屋大学大学院 情報科学研究科

著作論文

• 代数的手法によるプログラムの検証
• プログラミング言語PL/0の代数的仕様記述(計算機科学の基礎理論とその応用)

スポンサーリンク