Theoretical aspects of computing ICTAC 2007 : 4th international colloquium, Macao China, September 26-28, 2007 : proceedings
ICTAC 2007 (2007 Macau, China) C. B Jones (Cliff B.) 1944-; Zhiming Liu 1961-; Jim Woodcock
Berlin Springer New York c2007
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4711 ) e outros locais(Acessar)