01589nam--2200397---45--9900004201902033163-540-41864-40042019USA010042019(ALEPH)000042019USA01004201920010430d2001----km-y0ITAy0103-------baENGDEFoundations of software science and computation structures4th International conference, FOSSACS 2001 held as part of the joint European confereces on theory and practice of software, ETAPS 2001Genova, Italy, April 2-6, 2001proceedingsFurio Honsell ... [et.al.] (eds.)Berlin [etc.]Springer - Verlagcopyr. 2001XII, 412 p.ill.20 cmLecture notes in computer science20302001Lecture notes in computer science2030SoftwareCongressi2001CongrssiGenova2001005.1Honsell,FurioInternational conference, FOSSACS 2001 <4. ; 2001 ; Genova, Italia>544728European conferences on theory and practice of software, ETAPS <2001 ; Genova>ITACBSISBD990000420190203316001 LNCS (2030)0026375 CBS00100104685BKSCIALANDI9020010430USA011028ALANDI9020010612USA01122720020403USA011650PATRY9020040406USA011629Foundations of software science and computation structures873327UNISA