Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000083837244 | 1 hits
Person
ISNI: 
0000 0000 8383 7244
Name: 
Henson, M. C.
Henson, Martin
Henson, Martin C.
Dates: 
born 1954-10-14
Creation class: 
Language material
Text
Creation role: 
author
editor
Related names: 
Bjørner, D. (1937-)
Bjørner, Dines (1937-)
Dines, Bjørner
University of Essex
Titles: 
analysis of refinement in an abortive paradigm, An
Elements of functional languages
formal aspects of computing
Logic for Schema-Based Program Development, A
Logics of specification languages
specification logic νΖ, The
Notes: 
Sources: 
JNAM