Theoretical Aspects of Computing ICTAC 2007 [Risorsa elettronica] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540752929
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4711