VIAF

Virtual International Authority File

Search

Maibaum, Thomas S. E., 1947-.... National Library of Poland National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France National Library of France

Maibaum, Tom Wikipedia (en)-test ISNI-test

Maibaum, T. S. E., 1947- National Library of Australia Library and Archives Canada

Maibaum, Tom (Thomas S.E.), 1947- National Library of the Netherlands-test

Maibaum, T. S. E. German National Library

VIAF ID: 110055894 (Personal)

Permalink: http://viaf.org/viaf/110055894

ISNI-test: 0000  0000  8175  7339 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (18)

Open Section Close SectionWorks

Title Sources
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 National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Handbook of logic in computer science Sudoc [ABES], France Library of Congress/NACO National Library of France
The specification of computer programs National Library of the Netherlands-test National Library of Poland Library of Congress/NACO
TAPSOFT'91. proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 Sudoc [ABES], France Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:110055894 (26)