VIAF

Virtual International Authority File

Search

Henson, Martin C. National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO National Library of France German National Library

Henson, M C ISNI-test

Henson, Martin Wikipedia (en)-test

VIAF ID: 54481939 (Personal)

Permalink: http://viaf.org/viaf/54481939

ISNI-test: 0000  0000  8383  7244 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Elements of functional languages, 1987: National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
formal aspects of computing Wikipedia (en)-test
Logics of specification languages National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO National Library of France
ZB 2002:Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (4)

Open Section Close Section About

Open Section Close Section History of VIAF ID:54481939 (13)