LEADER 02048nam0 22004213i 450 
001 AQ10004111
005 20251003044041.0
010   $a0387574174$bNew York
010   $a3540574174$bBerlin
100   $a20110926d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aAutomated and algorithmic debugging$efirst international workshop, AADEBUG '93$eLinkoping, Sweden, May 3-5, 1993$eproceedings$fPeter A. Fritzson (ed.)
210   $aBerlin \etc.!$cSpringer$dc1993
215   $aVIII, 367 p.$cill.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v749
300   $aNella prefaz.: International workshop on automated and algorithmic debugging
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v749$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
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
702  1$aFritzson$b, Peter A.$f <1952-    >$3AQ1V002187
710 12$aInternational workshop on automated and algorithmic debugging$d <1.$f ; 1993$e ; Linkoping>$3AQ1V002186$4070$0714589
791 12$aAADEBUG$d <1.$f ; 1993$e ; Linkoping>$3AQ1V002188$zInternational workshop on automated and algorithmic debugging <1. ; 1993 ; Linkoping>
801  3$aIT$bIT-000000$c20110926
850   $aIT-BN0095          
912   $aAQ10004111
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000013165  VMA FD749                 v. 749$fY $h19940909$i20110926
977   $a 01
996   $aAutomated and algorithmic debugging$91381918
997   $aUNISANNIO