LEADER 01901nam0 22003973i 450 001 AQ10013036 005 20251003044042.0 010 $a0387566104$bNew York 010 $a3540566104$bBerlin 100 $a20111216d1993 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aTAPSOFT '93$etheory and practice of software development$e4. International joint conference CAAP/FASE$eOrsay, April 13-17, 1993$eproceedings$fM.-C. Gaudel, J.-P. Jouannaud (eds.) 210 $aBerlin [etc.]$cSpringer$dc1993 215 $aXII, 761 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v668 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v668$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aELABORATORI ELETTRONICI$xPROGRAMMAZIONE$xCONGRESSI$x1993$2FIR$3MILC077080$9I 676 $a005.1$9PROGRAMMAZIONE$v14 676 $a005.1$9PROGRAMMAZIONE$v22 696 $aConvegni$aCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 702 1$aJouannaud$b, Jean-Pierre$3AQ1V003360 702 1$aGaudel$b, Marie-Claude$3AQ1V007071 710 12$aInternational joint conference on theory and practice of software development$d <4.$f ; 1993$e ; Orsay>$3NAPV120251$4070$0714685 791 12$aTAPSOFT$d <4.$f ; 1993$e ; Orsay>$3NAPV120253$zInternational joint conference on theory and practice of software development <4. ; 1993 ; Orsay> 801 3$aIT$bIT-000000$c20111216 850 $aIT-BN0095 912 $aAQ10013036 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000012315 VMA A4668 v. 668$fY $h19940706$i20111216 977 $a 01 996 $aTAPSOFT '93$91382028 997 $aUNISANNIO