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, T. S. E., 1947- National Library of Australia Library and Archives Canada

Maibaum, T. S. E. NUKAT Center of Warsaw University Library German National Library

Maibaum, Tom ISNI

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

Tom Maibaum Wikidata

VIAF ID: 110055894 (Personal)

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

ISNI: 0000  0000  8175  7339 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Abstract data types and a semantics for the ANSI/SPARC architecture Library and Archives Canada
Advances in Distributed Computing (ADC) Sudoc [ABES], France
Background NUKAT Center of Warsaw University Library National Library of France
CCPSD 1991 Sudoc [ABES], France
Computational structures National Library of France
FASE 2000, fundamental approaches to software engineering Sudoc [ABES], France
FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings Sudoc [ABES], France Library of Congress/NACO
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 Sudoc [ABES], France Library of Congress/NACO
Handbook of logic in computer science NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
ICFEM 2008 Library of Congress/NACO
Logic and algebraic methods National Library of France
Mélanges. Haeberer, Armando Martín Sudoc [ABES], France
Non-termination, implicit definitions and abstract data types Library and Archives Canada
Resource = abstract data type + synchronization : a methodology for message oriented programming Library and Archives Canada
Semantic structures National Library of France
Special issue on semantics for software modeling techniques, c2000: Library of Congress/NACO National Library of France
The specification of computer programs National Library of the Netherlands Library of Congress/NACO National Library of Poland NUKAT Center of Warsaw University Library Sudoc [ABES], France Library and Archives Canada
TAPSOFT '91 NUKAT Center of Warsaw University Library
TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
A uniform logical treatment of queries and updates Library and Archives Canada

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 (29)