Programming with specificationsde David C. LuckhamMateriasANNA (Computer program language)Ada (Computer program language)Ediciones (1)Programming with specifications (1990)Springer-Verlag · inglésMás obras de David C. LuckhamEEvent processing for businessEvent processing for businessHardware design and simulation in VAL/VHDLANNA A Language for Annotating Ada Programs