01334nam--2200385---450-99000295443020331620080303102253.03-540-35631-2000295443USA01000295443(ALEPH)000295443USA0100029544320070704d2006----km-y0itay0103----baENGDE||||||||001yyMathematics of program construction8th International conference, MPC 2006Kuressaare, Estonia, July 3-5, 2006proceedingsTarmo Uustalu (ed.)Berlin (etc.)Springer[c.2006]X, 454 p.ill.24 cmLecture notes in computer science40142001Lecture notes in computer science4014001-------2001Elaboratori elettroniciProgrammazioneCongressiKuressaare2006005.1UUSTALU,TarmoInternational conference, MPC 2006<8. ;2006 ;Kuressaare>.597560ITCBSISBD990002954430203316001 LNCS 401433950/CBS00100217134BKSCISENATORE9020070704USA011457ANGELA9020080303USA011022Mathematics of program construction1031145UNISA