
About the Author
David Luckham is Professor Emeritus at Stanford University, where he directs the Program Analysis and Verification Project
Works by David Luckham
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems (2002) 46 copies
Programming with Specifications: An Introduction to ANNA. A Language for Specifying Ada Programs (Monographs in Computer (1990) 3 copies
Tagged
Common Knowledge
- Gender
- male
Members
Reviews
No reviews found.
Statistics
- Works
- 5
- Members
- 54
- Popularity
- #299,229
- Rating
- 3.1
- ISBNs
- 14