01648nam2-2200409li-450 99000020785020331620180312154741.03-540-65719-30020785USA010020785(ALEPH)000020785USA01002078520001109d1999----km-y0itay0103----baengGWFoundations of software science and computation structuressecond International conference, FOSSACS'99held as part of the joint European conferences on theory and practice of software, ETAPS'99 :Amsterdam, the Netherlands, March 22-28, 1999proceedingsWolfgang Thomas (ed.)Berlin [etc.]Springer-Verlagcopyr. 1999X, 321 p.ill.24 cmLecture notes in computer science157800100202642001Lecture notes in computer sciencecongressiamsterdam1999softwareprogettazionecongressi19990051Programmazione. Tecnica di sviluppo dei programmiThomas,WolfgangInternational conference FOSSACS'992.Amsterdam1999747218Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207850203316001 LNCS (1578)002343000100104232BKSCI1999040820001110USA011714ALANDI9020010208USA01121020020403USA011628PATRY9020040406USA011615Foundations of software science and computation structures1492514UNISA