Cavalcanti, Ana.
Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings / [electronic resource] : edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6255 0302-9743 ; . - Lecture Notes in Computer Science, 6255 .
9783642148088
10.1007/978-3-642-14808-8 doi
Computer science.
Computer Science.
Computation by Abstract Devices.
QA75.5-76.95
004.0151
Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings / [electronic resource] : edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6255 0302-9743 ; . - Lecture Notes in Computer Science, 6255 .
9783642148088
10.1007/978-3-642-14808-8 doi
Computer science.
Computer Science.
Computation by Abstract Devices.
QA75.5-76.95
004.0151