VIAF

Virtual International Authority File

Search

Luckham, David C. NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO German National Library

Luckham, David German National Library ISNI

David Luckham Wikidata

VIAF ID: 44924748 (Personal)

Permalink: http://viaf.org/viaf/44924748

ISNI: 0000  0001  1632  303X 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (3)

Open Section Close SectionWorks

Title Sources
Ada exceptions : specification & proof techniques [microvorm] National Library of the Netherlands
ANNA Sudoc [ABES], France
ANNA, a language for annotating Ada programs : reference manual National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
Automatic program verification National Library of the Netherlands
Event processing for business : organizing the real-time enterprise NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Hardware design and simulation in VAL VHDL Sudoc [ABES], France
The power of events : an introduction to complex event processing in distributed enterprise systems Sudoc [ABES], France Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:44924748 (24)