著者典拠情報

著者標目形：
Manes, Ernest G., 1943-
属性：
Personal
日付：
1943-
から見よ参照形：
Manes, E. G. (Ernest G.), 1943-
注記：
His Algebraic approaches to program semantics, c1986: CIP t.p. (Ernest G. Manes) t.p. verso (Dept. of Computer and info. Sci., Univ. of Mass., Amherst)
LC data base, 3/8/86 (hdg.: Manes, Ernest G., 1943- ; usage: E.G. Manes, Ernest G. Manes)
著者典拠ID：
DA00424164


1.

図書
図書
1. Predicate transformer semantics
Ernest G. Manes
出版情報: Cambridge ; New York, NY, USA : Cambridge University Press, 1992
シリーズ名: Cambridge tracts in theoretical computer science ; 33
所蔵情報: 図書館
2.

図書
図書
2. Algebraic approaches to program semantics (: us ; : gw)
Ernest G. Manes, Michael A. Arbib
出版情報: New York ; Tokyo : Springer-Verlag, c1986
シリーズ名: Texts and monographs in computer science ; . The AKM series in theoretical computer science
所蔵情報: 図書館
3.

図書
図書
3. Algebraic theories
E.G. Manes
出版情報: New York : Springer-Verlag, c1976
シリーズ名: Graduate texts in mathematics ; v. 26
所蔵情報: 図書館, 研究室
4.

図書
図書
4. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 (: gw ; : us)
edited by E. G. Manes
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in computer science ; 25
所蔵情報: 図書館