01509nam2-2200409li-450 99000020358020331620180312154816.03-540-57529-40020358USA010020358(ALEPH)000020358USA01002035820001109d1993----km-y0itay0103----baengGWFoundations of software technologyand theoretical computer science13th conference, Bombay, India, December 1993, proceedingsR. K. Shyamasundar (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993XIV, 453 p.ill.24 cmLecture notes in computer science76100100202642001Lecture notes in computer sciencecongressibombay1993elaboratori elettronicicongressi1993softwareprogettazionecongressi1993004Elab. dei dati Scienza degli elab. InformaticaShyamasundar,Rudrapatna K.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203580203316001 LNCS (761)001595200100103070BKSCI1994061320001110USA011714ALANDI9020010130USA01102020020403USA011628PATRY9020040406USA011615Foundations of software technologyand theoretical computer science1487563UNISA