LEADER 01453nam0 22003973i 450 001 NAP0402170 005 20251003044249.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 $aElaboratori elettronici$xProgrammi$xVerifica$2FIR$3CFIC029938$9I 676 $a005.1$9PROGRAMMAZIONE$v14 676 $a005.14$9$v22 696 $aVerificazione$aProgrammi didattici$aProgrammi scolastici$aPiani di lavoro 699 $aVerifica$yVerificazione 699 $aProgrammi$yProgrammi didattici 699 $aProgrammi$yProgrammi scolastici 699 $aProgrammi$zPiani di lavoro 700 1$aFrancez$b, Nissim$3RMSV017215$4070$052174 801 3$aIT$bIT-000000$c20080401 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aNAP0402170 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1 FRA.pr$e 0102 0000004625 VMA A4 1 v.$fY $h19931019$i19931019 977 $a 01 996 $aProgram verification$91501886 997 $aUNISANNIO