LEADER 01301nam0 22003253i 450 
001 AQ10012209
005 20250314062208.0
010   $a0387972544$bNew York
010   $a3540972544$bBerlin
100   $a20080319d1990    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aProgramming with specifications$ean introduction to ANNA, a language for specifying Ada programs$fDavid Luckham
210   $aNew York [etc.]$cSpringer$dc1990
215   $aXVI, 416 p.$d25 cm
225 | $aTexts and monographs in computer science
410  0$1001AQ10000364$12001 $aTexts and monographs in computer science
606   $aElaboratori elettronici$xProgrammazione$xLinguaggio ANNA$2FIR$3NAPC226122$9I
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.133$9SPECIFICI LINGUAGGI DI PROGRAMMAZIONE$v22
700  1$aLuckham$b, David$3AQ1V006550$4070$0632479
801  3$aIT$bIT-NA0079$c20080319
850   $aIT-BN0095          
912   $aAQ10012209
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.13                  LUC.pr$e 0102 0000009575    B A4                    1 v.$f3 $h19940429$i19940429
977   $a 01
996   $aProgramming with specifications$91501606
997   $aUNISANNIO