02062nam0 22003613i 450 AQ1001303620240628062445.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. Hartmanis668Elaboratori elettroniciProgrammazioneCongressi1993FIRNAPC242171I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Jouannaud, 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-NA007920111216IT-BN0095 AQ10013036Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000012315 B A4668 v. 6683 1994070620111216 01TAPSOFT '931382028UNISANNIO