Apr 25, 2024 · List of computer science publications by T. S. E. Maibaum.
3.6K · 30-day returns
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling ... Only 1 left in stock - order soon.
Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist. Tom Maibaum. Education, B.Sc., University of Toronto (1970)
Thomas S. E. Maibaum's 25 research works with 146 citations, including: A proof theoretic basis for relational semantics.
This is a handbook, written by a number of authors from different research communities. Even though the subject matter of the book is reasonably unified, ...
Tom Maibaum. computer scientist. Thomas Stephen Edward Maibaum; Thomas S. E. Maibaum; T. S. E. Maibaum; Tom S. E. Maibaum. In more languages. Spanish. Tom ...
60-day returns
Explore books by T. S. E. Maibaum with our selection at Waterstones.com. Click and Collect from your local Waterstones or get FREE UK delivery on orders ...
Maibaum,. Addison-Wesley, Wokingham, UK, 1987, 278 pages. (including index) (£18.95). This book is about the general need for specifications in the development ...
Logical Specification and Implementation. T.S.E Maibaum et al. A Theory of Abstract data Types for Program Development: Bridging the Gap?
Free 1-day delivery
Handbook of Logic in Computer Science. Volume 2: Background: Computational Structures. Edited by S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum. A Clarendon ...