01623nam2-2200433li-450 99000020949020331620180312154820.03-540-63888-10020949USA010020949(ALEPH)000020949USA01002094920001109d1997----km-y0itay0103----baengGWAlgebraic methodology and softwaretechnology6th International conference, AMAST'97Sydney, Australia, December 13-17, 1997proceedingsMichael Johnson (ed.)BerlinoSpringer-Verlagcopyr. 1997X,594 p.ill.23 cmLecture notes in computer science134900100202642001Lecture notes in computer sciencecongressisydney1997elaboratori elettroniciprogrammazionecongressi1997softwareprogettazionecongressi19970051Programmazione. Tecnica di sviluppo dei programmiJOHNSON,MichaelInternational conference AMAST'976.Sydney1997753676Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209490203316001 LNCS (1349)002136300100104158BKSCI1998050820001110USA011714ALANDI9020010205USA011324PATTY9020011107USA01142120020403USA011629PATRY9020040406USA011615Algebraic methodology and softwaretechnology1516218UNISA