01664nam2-2200433li-450 99000020741020331620180312154820.03-540-61463-X0020741USA010020741(ALEPH)000020741USA0100207412001997011996-------y0itay0103----baengGWAlgebraic methodology and softwaretechnology5th International conference, AMAST '96Munich, Germany, July 1-5, 1996proceedingsMartin Wirsing ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996XII, 640 p.ill.23 cmLecture notes in computer science110100100202642001Lecture notes in computer sciencecongressimonaco di baviera1996elaboratori elettroniciprogrammazionecongressi1996softwareprogettazionecongressi19960051Programmazione. Tecnica di sviluppo dei programmiWirsing,MartinInternational conference AMAST'965.Monaco di Baviera1996753716Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207410203316001 LNCS (1101)0019244 CBS00100103878BKSCI1997012120001110USA011714ALANDI9020010201USA01121320020403USA011628PATRY9020040406USA011615ANGELA9020130110USA011214Algebraic methodology and softwaretechnology1516260UNISA