David Luckham profile picture

David Luckham

Is this your author profile? Create an account to claim and customize it!

Stand Alone

The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Programming with Specifications
Programming with Specifications An Introduction to ANNA, A Language for Specifying Ada Programs
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Programming with Specifications An Introduction to ANNA, A Language for Specifying Ada Programs
Programming With Specifications (Texts and Monographs in Computer Science)
The Power of Events An Introduction to Complex Event Processing in Distributed Enterprise Systems