著者典拠情報

著者標目形：
佐藤, 雅彦(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.

図書
図書
1. Logic, language, and computation : festschrift in honor of Satoru Takasu (: gw ; : us)
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 792
所蔵情報: 図書館
2.

図書
図書
2. プログラムの基礎理論
佐藤雅彦, 桜井貴文 [共著]
出版情報: 東京 : 岩波書店, 1991.9
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 13
所蔵情報: 図書館
3.

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