Theoretical Aspects of Computing - ICTAC 2010: Proc./7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 2010

Б2.1, Б2.2, Б3.54.

Theoretical Aspects of Computing - ICTAC 2010: Proc./7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 2010Ed. by Cavalcanti A., Deharbe D., Gaudel M. -C., Woodcock J..-Berlin.: Springer, 2010.-Vol. 6255.-397 p.-(Lecture Notes in Computer Science).