01113nam2-2200361---450-99000579675020331620130116151627.03540179801000579675USA01000579675(ALEPH)000579675USA0100057967520130116d1987----km-y0itay0103----baengDEa|||||||001yyANNAa language for annotating ada programsreference manualDavid C. Luckham...et al. (Eds.)Berlin [etc.]Springercopyr. 1987V, 143 p.ill.24 cmLecture Notes in Computer Science2602001Lecture Notes in Computer Science0010003149602001Lecture Notes in Computer ScienceLinguaggi di programmazioneBNCF005.13LUCKHAM,David C.ITAsalbcISBD990005796750203316001 LNCS 26026840/SM00100102423BKSCIANGELA9020130116USA011516ANNA1080892UNISA