Maibaum, Thomas S. E., 1947-....
Maibaum, T.S.E.
Maibaum, T. S. E., 1947-
Maibaum, Tom
Maibaum, Thomas S.E
Tom Maibaum computer scientist
Maibaum, Tom (Thomas S.E.), 1947-
VIAF ID: 110055894 ( Personal )
Permalink: http://viaf.org/viaf/110055894
Preferred Forms
- 200 _ | ‡a Maibaum ‡b Thomas S. E. ‡f 1947-....
-
-
-
-
- 100 1 _ ‡a Maibaum, Thomas S. E.
-
- 100 1 _ ‡a Maibaum, Thomas S. E. ‡d 1947-
- 100 1 _ ‡a Maibaum, Thomas S. E., ‡d 1947-
-
-
-
- 100 1 _ ‡a Maibaum, Thomas S. E., ‡d 1947-
- 100 1 _ ‡a Maibaum, Thomas S. E., ‡d 1947-....
-
- 100 1 _ ‡a Maibaum, Tom
-
- 100 0 _ ‡a Tom Maibaum ‡c computer scientist
4xx's: Alternate Name Forms (22)
Works
Title | Sources |
---|---|
Abstract data types and a semantics for the ANSI/SPARC architecture | |
Background | |
Colloquium on Trees in Algebra and Programming (CAAP '91) | |
Computational structures | |
ETAPS 2000 | |
FASE 2000 | |
FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings | |
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers | |
Fundamental approaches to software engineering third international conference ; proceedings | |
Handbook of logic in computer science | |
ICFEM 2008 | |
Logic and algebraic methods | |
Logical specifications : 4.A - of interpretations of unsorted specifications | |
Mélanges. Haeberer, Armando Martín | |
Non-termination, implicit definitions and abstract data types | |
Pumping lemmas for term languages. | |
Resource = abstract data type + synchronization : a methodology for message oriented programming | |
Semantic structures | |
Special issue on semantics for software modeling techniques, c2000: | |
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 | |
TAPSOFT '91 / S. Abramsky, T. S. E. Maibaum (eds.). - Berlin, 1991. | |
Towards formal coherent meta-models for the software development process | |
A uniform logical treatment of queries and updates |