01358nam--2200397---450-99000308331020331620080424132719.0978-3-540-75290-5000308331USA01000308331(ALEPH)000308331USA0100030833120080319d2007----km-y0itay0103----baengDEa|||||||001yyTheoretical aspects of computing - ICTAC 20074th International colloquiumMacao, China, September 26-28, 2007ProceedingsCliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.)Berlin [etc.]Springercopyr. 2007XI, 481 p.ill.24 cmLecture notes in computer science47112001Lecture notes in computer science4711InformaticaCongressiMacao2007004JONES,Cliff B.LIU,ZhimingWOODCOCK,JimInternational colloquium<4.;2007;Macao>600806ITAsalbcISBD990003083310203316001 LNCS 471135443/CBS00100216646BKSCIANGELA9020080319USA010903ANGELA9020080424USA011327Theoretical aspects of computing - ICTAC 20071019737UNISA