Browse
FAQ

Author

David Luckham

6 books found

Cover of Event processing for business

Event processing for business

David C. Luckham · First published 2011

Cover of The Power of Events

The Power of Events

David Luckham · First published 2002

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 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