LEADER 01113nam2-2200361---450-
001 990005796750203316
005 20130116151627.0
010   $a3540179801
035   $a000579675
035   $aUSA01000579675
035   $a(ALEPH)000579675USA01
035   $a000579675
100   $a20130116d1987----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aANNA$ea language for annotating ada programs$ereference manual$fDavid C. Luckham...et al. (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 1987
215   $aV, 143 p.$cill.$d24 cm
225 2 $aLecture Notes in Computer Science$v260
410  0$12001$aLecture Notes in Computer Science
461  1$1001000314960$12001$aLecture Notes in Computer Science
606 0 $aLinguaggi di programmazione$2BNCF
676   $a005.13
702  1$aLUCKHAM,$bDavid C.
801  0$aITA$bsalbc$gISBD
912   $a990005796750203316
951   $a001 LNCS 260$b26840/SM$c001$d00102423
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20130116$lUSA01$h1516
996   $aANNA$91080892
997   $aUNISA