著者典拠情報

標目形:
佐藤, 雅彦(1947-)||サトウ, マサヒコ
属性:
Personal
日付:
1947
から見よ参照形:
Sato, Masahiko
注記:
東京大学理学部数学科卒業
東京大学理学部助教授
東北大学電気通信研究所教授
「コンピュータサイエンス」の訳者
共著書:プログラムの基礎理論(岩波書店,1991)
EDSRC:Logic, language, and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds(Springer-Verlag, 1994)
EDSRC:構成的プログラミングを実現する証明・検証・合成システム / 佐藤雅彦研究代表([佐藤雅彦], 1996.3)により現職を追加
京都大学工学研究科教授
著者典拠ID:
DA01000990


1.

図書

図書
佐藤雅彦, 桜井貴文 [共著]
出版情報: 東京 : 岩波書店, 1991.9
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 13
所蔵情報: loading…
2.

図書

図書
J.K.ライス, J.R.ライス共著 ; 細井勉, 関本年彦, 佐藤雅彦共訳
出版情報: 東京 : サイエンス社, 1974.5
シリーズ名: サイエンスライブラリ情報電算機 ; 22-24
所蔵情報: loading…