01592nam2-2200421li-450 99000021045020331620180312154821.03-540-60043-40021045USA010021045(ALEPH)000021045USA01002104520001109d1995----km-y0itay0103----baengGWAlgebraic methodology and softwaretechnology4th International conference, AMAST '95Montreal, Canada, July 3-7,1995proceedingsV. S. Alagar ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995XIV, 591 p.ill.25 cmLecture notes in computer science93600100202642001Lecture notes in computer sciencecongressimontreal1995elaboratori elettroniciprogrammazionecongressi1995softwareprogettazionecongressi19950051Programmazione. Tecnica di sviluppo dei programmiAlagar,Vangalur S.International conference AMAST'954.Montreal1995753674Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210450203316001 LNCS (936)002030800100103706BKSCI1997112420001110USA011714ALANDI9020010131USA01130220020403USA011629PATRY9020040406USA011615Algebraic methodology and softwaretechnology1516216UNISA