Barkaoui, Kamel.

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings / [electronic resource] : edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 4281 0302-9743 ; .

9783540488163


Computer science
Computer Communication Networks
Software engineering
Logic design
Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Computer Communication Networks