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

  ISBN 3540672613 (3-540-67261-3)
  Softcover, Springer

  
  Find All Copies

   

  › Find collectible copies of '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'
• 
  Handbook of Logic in Computer Science : Background: Computational Structures
  

  by FASE 2000 Staff, Thomas S. E. Maibaum

  ISBN 0198537611 (0-19-853761-1)
  Hardcover, Oxford University Press, Incorporated

  
  Find All Copies

   

  › Find collectible copies of 'Handbook of Logic in Computer Science : Background: Computational Structures'
• 
  Handbook of Logic in Computer Science: Semantic Structures
  

  by FASE 2000 Staff, Thomas S. E. Maibaum

  ISBN 0198537352 (0-19-853735-2)
  Hardcover, Oxford University Press, Incorporated

  
  Find All Copies

   

  › Find collectible copies of 'Handbook of Logic in Computer Science: Semantic Structures'
• 
  Handbook of Logic in Computer Science Vol. 3: Semantic Structures
  

  by FASE 2000 Staff, Thomas S. E. Maibaum

  ISBN 019853762X (0-19-853762-X)
  Hardcover, Oxford University Press, Incorporated

  
  Find All Copies

   

  › Find collectible copies of 'Handbook of Logic in Computer Science Vol. 3: Semantic Structures'
• 
  Handbook of Logic in Computer Science Vol. 4: Semantic Modelling
  

  by FASE 2000 Staff, Thomas S. E. Maibaum

  ISBN 0198537808 (0-19-853780-8)
  Hardcover, Oxford University Press, Incorporated

  
  Find All Copies

   

  › Find collectible copies of 'Handbook of Logic in Computer Science Vol. 4: Semantic Modelling'
• 
  Logic and Algebraic Methods
  

  by FASE 2000 Staff, Thomas S. E. Maibaum

  ISBN 0198537816 (0-19-853781-6)
  Hardcover, Oxford University Press, Incorporated

  
  Find All Copies

   

  › Find collectible copies of 'Logic and Algebraic Methods'
• 
  The Specification of Computer Programs
  

  by FASE 2000 Staff, Thomas S. E. Maibaum

  ISBN 0201142260 (0-201-14226-0)
  Hardcover, Addison-Wesley Longman, Incorporated

  
  Find All Copies

   

  › Find collectible copies of 'The Specification of Computer Programs'
• 
  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

  ISBN 0387539816 (0-387-53981-6)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 Advanc'

  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: ISBN 0387539824 (0-387-53982-4)
    Softcover, Springer Verlag
• 
  Theory and Practice of Software Development: Conference Proceedings
  

  by S. Abramsky, Thomas S. E. Maibaum

  ISBN 3540539824 (3-540-53982-4)
  Softcover, Springer

  
  Find All Copies

   

  › Find collectible copies of 'Theory and Practice of Software Development: Conference Proceedings'