David C. Luckham
David C. Luckham
3 ספרים במאגר
ספרים
Event processing for businessDavid C. Luckham
Event processing for business
David C. Luckham · 2011
ANNA A Language for Annotating Ada ProgramsDavid C. Luckham
ANNA A Language for Annotating Ada Programs
David C. Luckham · 1987
Anna: A Language for Annotating Ada ProgramsDavid C. Luckham
Anna: A Language for Annotating Ada Programs
David C. Luckham · 1987