LEADER 01290nam0 22003373i 450 
001 NAP0402170
005 20240802063125.0
010   $a0201416085
100   $a20080401d1992    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aProgram verification$fNissim Francez
210   $aWokingham [etc.]$cAddison-Wesley$d1992
215   $aXI, 312 p.$d24 cm
225 | $aInternational computer science series
300   $aBibliografia: P. 295-303.
410  0$1001RMS0038074$12001 $aInternational computer science series
606   $aProgrammi per elaboratori$xVerifica$2FIR$3NAPC226613$9I
606   $aElaboratori elettronici$xProgrammi$xVerifica$2FIR$3CFIC029938$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.14$9PROGRAMMAZIONE. VERIFICA, PROVE, MISURAZIONE, MESSA A PUNTO (DEBUGGING)$v22
700  1$aFrancez$b, Nissim$3RMSV017215$4070$052174
801  3$aIT$bIT-NA0079$c20080401
850   $aIT-BN0095          
912   $aNAP0402170
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   FRA.pr$e 0102 0000004625    N A4                    1 v.$f3 $h19931019$i19931019
977   $a 01
996   $aProgram verification$91501886
997   $aUNISANNIO