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-))
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: 
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
On what exactly goes on when software is developed step-by-step, II : The sequel
specification of computer programs, The
TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Contributed to or performed: 
INFORMATION PROCESSING LETTERS
Notes: 
Sources: 
VIAF LAC LC NKC NLP NTA NUKAT SUDOC WKP
TEL
ZETO