著者典拠情報

著者標目形：
Maibaum, Thomas S. E., 1947-
属性：
Personal
日付：
1947-
から見よ参照形：
Maibaum, T. S. E.
注記：
Turski, W. M. Specification of computer programs, c1987: CIP t.p. (Thomas S. E. Maibaum, Imperial Col. of Sci. & Tech.) data sheet (b. 8-18-47)
著者典拠ID：
DA02904422


1.

図書
図書
1. Logic and algebraic methods
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: 図書館
2.

図書
図書
2. Semantic modelling
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
出版情報: Oxford : Clarendon Press, 1995
シリーズ名: Handbook of logic in computer science ; v. 4
所蔵情報: 図書館
3.

図書
図書
3. Semantic structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
出版情報: Oxford : Clarendon Press, 1994
シリーズ名: Handbook of logic in computer science ; v. 3
所蔵情報: 図書館
4.

図書
図書
4. Background : computational structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 2
所蔵情報: 図書館
5.

図書
図書
5. Background : mathematical structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 1
所蔵情報: 図書館
6.

図書
図書
6. Colloquium on Trees in Algebra and Programming (CAAP '91) (: Berlin ; : New York)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1
所蔵情報: 図書館
7.

図書
図書
7. Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) (: Berlin ; : New York)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2
所蔵情報: 図書館