Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 000000011632303X | 1 hits
Person
ISNI: 
0000 0001 1632 303X
Name: 
Luckham, David
Luckham, David C.
Dates: 
born 1934-09-07
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
Related names: 
Henke, Friedrich W. von
Krieg-Brückner, Bernd
Massachusetts Institute of Technology, Dept. of Mathematics
Polak, Wolfgang (1950-)
Suzuki, Norihisa
Titles: 
Ada exceptions : specification & proof techniques [microvorm]
Anna : a language for annotating Ada programs : reference manual
Automatic program verification
Event processing for business : organizing the real-time enterprise
power of events - an introduction to complex event processing in distributed enterprise systems, the
power of events, c2002:, The
power of events, The : an introduction to complex event processing in distributed enterprise systems
Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
Topics in the theory of constructive hierarchies
Notes: 
Vita
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1963
Sources: 
VIAF LC NTA NUKAT SUDOC WKP