Maibaum, Thomas S. E.

ID:DA02904422

Alias Name

Maibaum, T. S. E.

Search authors sharing the same name

Search Results1-8 of 8

  • Logic and algebraic methods

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press , Oxford University Press 2000 Handbook of logic in computer science v. 5

    Available at 46 libraries

  • Semantic modelling

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky

    Clarendon Press 1995 Handbook of logic in computer science v. 4

    Available at 58 libraries

  • Semantic structures

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky

    Clarendon Press 1994 Handbook of logic in computer science v. 3

    Available at 72 libraries

  • Background : mathematical structures

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press 1992 Handbook of logic in computer science v. 1

    Available at 70 libraries

  • Background : computational structures

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press 1992 Handbook of logic in computer science v. 2

    Available at 71 libraries

  • Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)

    S. Abramsky, T.S.E. Maibaum, (eds.)

    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

    : gw , : us

    Available at 55 libraries

  • Colloquium on Trees in Algebra and Programming (CAAP '91)

    S. Abramsky, T.S.E. Maibaum, (eds.)

    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

    : gw , : us

    Available at 57 libraries

  • Specification of computer programs

    Władysław M. Turski, Thomas S.E. Maibaum

    Addison-Wesley c1987 International computer science series

    Available at 8 libraries

Search this author

Page Top