03616nam--2200853---450-99000115849020331620030702122757.03-540-43366-X000115849USA01000115849(ALEPH)000115849USA0100011584920021217d2002----km-y0itay0103----baENG||||||||001yyFoundations of software science and computation structures5th International conference, FOSSACS 2002Held as part of the joint European conferences on theory and practice of software, ETAPS 2002Grenoble, France, April 8-12, 2002ProceedingsMogens Nielsen ... <et al.> (Eds.)BerlinSpringer-Verlagcopyr.2002XIII,433 p.ill.20 cmLecture notes in computer science2303Software Congressi 2002005.1NielsenMogensInternational conference, FOSSACS 2002 < 5 ; 2002 ; Grenoble France >555336ITCBSISBD990001158490203316001 LNCS (2303)0026855 CBS00100111917BKSCIDIGIUSEPPE9020021217USA011200DIGIUSEPPE9020030310USA011222DIGIUSEPPE9020030530USA011247DIGIUSEPPE9020030603USA011655DIGIUSEPPE9020030603USA011657DIGIUSEPPE9020030610USA011536DIGIUSEPPE9020030610USA011541DIGIUSEPPE9020030610USA011543DIGIUSEPPE9020030612USA011156DIGIUSEPPE9020030612USA011159DIGIUSEPPE9020030612USA011205DIGIUSEPPE9020030612USA011316DIGIUSEPPE9020030612USA011332DIGIUSEPPE9020030612USA011339DIGIUSEPPE9020030612USA011345DIGIUSEPPE9020030612USA011347DIGIUSEPPE9020030612USA011347DIGIUSEPPE9020030612USA011354DIGIUSEPPE9020030612USA011358DIGIUSEPPE9020030612USA011401DIGIUSEPPE9020030613USA011126DIGIUSEPPE9020030613USA011131DIGIUSEPPE9020030613USA011135DIGIUSEPPE9020030613USA011149DIGIUSEPPE9020030613USA011200DIGIUSEPPE9020030613USA011210DIGIUSEPPE9020030613USA011226DIGIUSEPPE9020030613USA011232DIGIUSEPPE9020030613USA011237DIGIUSEPPE9020030613USA011244DIGIUSEPPE9020030613USA011250DIGIUSEPPE9020030624USA011614DIGIUSEPPE9020030625USA011138DIGIUSEPPE9020030625USA011144DIGIUSEPPE9020030625USA011151DIGIUSEPPE9020030625USA011319DIGIUSEPPE9020030625USA011326DIGIUSEPPE9020030625USA011359DIGIUSEPPE9020030625USA011417DIGIUSEPPE9020030626USA011147DIGIUSEPPE9020030626USA011152DIGIUSEPPE9020030626USA011158DIGIUSEPPE9020030702USA011227PATRY9020040406USA011721Foundations of software science and computation structures983759UNISA