01513nam2-2200409li-450 99000021145020331620180312154744.03-540-60692-00021145USA010021145(ALEPH)000021145USA01002114520001109d1995----km-y0itay0103----baengGWFoundations of software technologyand theoretical computer science15th conference, Bangalore, India,December 18-20, 1995proceedingsP. S. Thiagarajan (ed.)Berlin [etc.]Springer-Verlagcopyr. 1995XII, 513 p.ill.24 cmLecture notes in computer science102600100202642001Lecture notes in computer sciencecongressibangalore1995elaboratori elettronicicongressi1995softwareprogettazionecongressi1995004Elab. dei dati Scienza degli elab. InformaticaThiagarajan,P. S.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211450203316001 LNCS (1026)001850400100103823BKSCI1996032620001110USA011714ALANDI9020010201USA01095320020403USA011629PATRY9020040406USA011615Foundations of software technologyand theoretical computer science1487563UNISA