著者典拠情報

著者標目形：
Hennessy, Matthew
属性：
Personal
から見よ参照形：
Hennessy, M
ヘネシー, M.||ヘネシー, M.
注記：
His Algebraic theory of processes, c1988: CIP t.p. (Matthew Hennessy)
His The Semantics of programming languages, c1990: t.p. (Matthew Hennessy; Univ. of Sussex, UK)
著者典拠ID：
DA02497828


1.

図書
図書
1. プログラミング言語の意味論入門
M. ヘネシー著 ; 荒木啓二郎, 程京徳共訳
出版情報: 東京 : サイエンス社, 1993.12
シリーズ名: Information & computing ; 76
所蔵情報: 図書館
2.

図書
図書
2. Algebraic theory of processes
Matthew Hennessy
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: 研究室