Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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: 
Augustin, Larry M.
Gennart, Benoit A.
Henke, Friedrich W.
Henke, Friedrich W. von
Huh, Youm
Krieg-Brückner, Bernd
Massachusetts Institute of Technology, Dept. of Mathematics
Owe, Olaf
Polak, Wolfgang (1950-)
Stanculescu, Alec G.
Suzuki, Norihisa
Titles: 
Ada exceptions : specification & proof techniques [microvorm]
ANNA reference manual
Automatic program verification
Event processing for business organizing the real-time enterprise
Hardware design and simulation in VAL VHDL
power of events an introduction to complex event processing in distributed enterprise systems, The
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