01273nam2-2200361li-450 99000020682020331620180312154820.03-540-66863-50020682USA010020682(ALEPH)000020682USA01002068220001109d1999----km-y0itay0103----baengGWFoundations of software technologyand theoretical computer science19th conferenceChennai, India, December 13-15, 1999C. Pandu Rangan [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1999XII, 452 p.ill.24 cmLecture notes in computer science173800100202642001Lecture notes in computer sciencePandu Rangan,C.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206820203316001 LNCS (1738)002456500100100863BKSCI1999010420001110USA011714ALANDI9020010208USA01155320020403USA011628PATRY9020040406USA011615Foundations of software technologyand theoretical computer science1487563UNISA