01627nam2-2200433li-450 99000020920020331620180312154742.03-540-66536-60020920USA010020920(ALEPH)000020920USA01002092020001109d1999----km-y0itay0103----baengGWComputer science logic13th International workshop, CSL '998th. Annual conference of the EACSLMadrid, Spain, September 20-25, 1999proceedingsJorg Flum ...[et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1999XI, 576 p.ill.22 cmLecture notes in computer science168300100202642001Lecture notes in computer sciencecongressimadrid1999elaboratori elettroniciprogrammazionecongressi1999logica matematicacongressi19990051Programmazione. Tecnica di sviluppo dei programmiFlum,JorgInternational workshopCSL '9913th.Madrid1999747255Annual conference of the EACSL8th.Madrid1999Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209200203316001 LNCS (1683)002405700100104288BKSCI1999011720001110USA011714ALANDI9020010208USA01170520020403USA011629PATRY9020040406USA011615Computer science logic1492564UNISA