Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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-)
Cuellar, Jorge
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
Advances in Distributed Computing (ADC)
Background
CAAP'91
CCPSD 1991
FASE 2000, fundamental approaches to software engineering
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
Handbook of logic in computer science
ICFEM 2008
Mélanges. Haeberer, Armando Martín
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
Special issue on semantics for software modeling techniques, c2000:
specification of computer programs, The ; Reading, Mass, 1987.
TAPSOFT '91
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 LAC LC NKC NLP NTA NUKAT SUDOC WKP
TEL
ZETO