Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000081757339 | 1 hits
Person
ISNI: 
0000 0000 8175 7339
Name: 
Maibaum, T.
Maibaum, T. S.
Maibaum, T. S. E.
Maibaum, Thomas S. E.
Maibaum, Tom
Maibaum, Tom S. E.
Dates: 
1947-
Creation class: 
article
cre
Language material
Text
txt
Creation role: 
author
contributor
editor
redactor
Related names: 
Abramsky, Samson (1953-)
Aichernig, Bernhard K. (1969-)
Colloquium on Trees in Algebra and Programming (1991 ; Brighton)
Cunha, Paulo R. F.
Gabbay, Dov M. (1945-)
International Institute for Software Technology
Lucena, Carlos J.
Turski, Władysław
Turski, Władysław Marek (1938- ))
University of Waterloo. Faculty of Mathematics
Titles: 
Abstract data types and a semantics for the ANSI/SPARC architecture
Background: computational structures
Backgroung : Mathematical Structures
Computational structures
Data base instances, abstract data types and data base specification
FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 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, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
Handbook of logic in computer science
ICFEM 2008
Intern'l. Jt. Conf. on Theory and Practice of Software Dev. (4th : 1991 : Brighton, England). Proceedings of the International Conf. ... 1991:
International Joint Conference on Theory and Practice of Software Development
Logic and algebraic methods
Mathematical structures
Message oriented programming : a resource based methodology
Non-termination, implicit definitions and abstract data types
On the design and specification of message oriented programs
On what exactly goes on when software is developed step-by-step, II : The sequel
Resource : a methodology for message oriented programming
Semantic modelling
Semantic structures
Special issue on semantics for software modeling techniques, c2000:
specification of computer programs, The
synchronization calculus for message oriented programming, A
TAPSOFT '91 proceedings of the International joint conference on theory and practice of software development, Brighton, UK, 8-12 April 1991
TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
uniform logical treatment of queries and updates, A
Contributed to or performed: 
INFORMATION PROCESSING LETTERS
Notes: 
Sources: 
VIAF BNF LAC LC NKC NLP NTA NUKAT SUDOC WKP
TEL
ZETO