Browse
FAQ

Author

David C. Luckham

5 books found

Cover of Event processing for business

Event processing for business

David C. Luckham · First published 2011

Cover of Hardware design and simulation in VAL/VHDL

Hardware design and simulation in VAL/VHDL

Larry M. Augustin, David C. Luckham, Benoit A. Gennart, Youm Huh · First published 1991

Cover of Programming with specifications

Programming with specifications

David C. Luckham · First published 1990

Cover of ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe · First published 1987

Cover of Anna: A Language for Annotating Ada Programs

Anna: A Language for Annotating Ada Programs

David C. Luckham · First published 1987