//]]>
Theoretical aspects of computing-- ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings / Ana Cavalcanti ... [et al.] (eds). - New York : Springer, 2010. - xiii, 396 p. - Lecture notes in computer science ; 6255 0302-9743 ; .

Includes bibliographical references and index.

9783642148071 3642148077


Computer science--Mathematics.
Computer programming--Congresses.
Formal methods (Computer science)--Congresses.

004 / I612
Languages: 
English |
العربية