01518nam2-2200409li-450 99000020710020331620180312154626.03-540-62034-60020710USA010020710(ALEPH)000020710USA01002071020001109d1996----km-y0itay0103----baengGWFoundations of software technologyand theoretical computer science16th conference, Hyderabad, India,December 18-20, 1996procedingsVijay Chandru ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996XI, 386 p.ill.23 cmLecture notes in computer science118000100202642001Lecture notes in computer sciencecongressihyderabad1996elaboratori elettronicicongressi1996softwareprogettazionecongressi1996004Elab. dei dati Scienza degli elab. InformaticaChaundru,VijaySistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207100203316001 LNCS (1180)001976800100103952BKSCI1997020720001110USA011714ALANDI9020010201USA01163220020403USA011628PATRY9020040406USA011615Foundations of software technologyand theoretical computer science1487563UNISA