01901nam0 22003973i 450 AQ1001303620251003044042.00387566104New York3540566104Berlin20111216d1993 ||||0itac50 baengdez01i xxxe z01nTAPSOFT '93theory and practice of software development4. International joint conference CAAP/FASEOrsay, April 13-17, 1993proceedingsM.-C. Gaudel, J.-P. Jouannaud (eds.)Berlin [etc.]Springerc1993XII, 761 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis668001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis668702 1Goos, GerhardAQ1V006441340ELABORATORI ELETTRONICIPROGRAMMAZIONECONGRESSI1993FIRMILC077080I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniJouannaud, Jean-PierreAQ1V003360Gaudel, Marie-ClaudeAQ1V007071International joint conference on theory and practice of software development <4. ; 1993 ; Orsay>NAPV120251070714685TAPSOFT <4. ; 1993 ; Orsay>NAPV120253International joint conference on theory and practice of software development <4. ; 1993 ; Orsay>ITIT-00000020111216IT-BN0095 AQ10013036Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000012315 VMA A4668 v. 668Y 1994070620111216 01TAPSOFT '931382028UNISANNIO