Luckham, David C.
VIAF ID: 44924748 (Personal)
Permalink: http://viaf.org/viaf/44924748
Preferred Forms
-
100 1 _ ‡a Luckham, David C.
-
100 1 _ ‡a Luckham, David C.
-
100 1 _ ‡a Luckham, David C.
-
100 1 _ ‡a Luckham, David C.
-
100 1 _ ‡a Luckham, David C.
4xx's: Alternate Name Forms (2)
Selected Titles
- ANNA, a language for annotating Ada programs
(6)
- Programming with specifications : an introduction to ANNA, a language for specifying ADA programs
(3)
- Event processing for business : organizing the real-time enterprise
(3)
- ANNA : a language for annotating Ada programs : reference manual
(3)
- The power of events, c2002:
(2)
- ANNA reference manual
(2)
- The power of events : an introduction to complex event processing in distributed enterprise systems
(1)
- Event processing for business
(1)
- Automatic program verification
(1)
- Ada exceptions : specification & proof techniques [microvorm]
(1)
