Thomas S. E. Maibaum (Maibaum, Thomas S. E.)

• 
  Fundamental Approaches to Software Engineering: 3rd International Conference, FASE 2000, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000 Proceedings
  by FASE 2000 Staff, Thomas S. E. Maibaum
  Softcover, Springer, ISBN 3540672613 (3-540-67261-3)
• 
  Handbook of Logic in Computer Science : Background: Computational Structures
  by S. Abramsky, D. M. Gabbay, T. S. Maibaum
  Hardcover, Oxford University Press, Incorporated, ISBN 0198537611 (0-19-853761-1)
• 
  Handbook of Logic in Computer Science: Semantic Structures
  by S. Abramsky, D. M. Gabbay, T. S. Maibaum
  Hardcover, Oxford University Press, Incorporated, ISBN 0198537352 (0-19-853735-2)
• 
  Handbook of Logic in Computer Science Vol. 3: Semantic Structures
  by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
  Hardcover, Oxford University Press, Incorporated, ISBN 019853762X (0-19-853762-X)
• 
  Handbook of Logic in Computer Science Vol. 4: Semantic Modelling
  by S. Abramsky, Dov M. Gabbay, T. S. Maibaum
  Hardcover, Oxford University Press, Incorporated, ISBN 0198537808 (0-19-853780-8)
• 
  Logic and Algebraic Methods
  by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum
  Hardcover, Oxford University Press, Incorporated, ISBN 0198537816 (0-19-853781-6)
• 
  The Specification of Computer Programs
  by Wladyslaw M. Turski, Thomas S. Maibum
  Hardcover, Addison-Wesley Longman, Incorporated, ISBN 0201142260 (0-201-14226-0)
• 
  Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 Colloq
  by S. Abramsky, Thomas S. E. Maibaum
  Softcover, Springer Verlag, ISBN 0387539816 (0-387-53981-6)

  More editions of Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 Colloq:

  • Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 Colloq: Softcover, Springer Verlag, ISBN 0387539824 (0-387-53982-4)
• 
  Theory and Practice of Software Development: Conference Proceedings
  by S. Abramsky, T.S.E. Maibaum
  Softcover, Springer, ISBN 3540539824 (3-540-53982-4)