Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / [electronic resource] :
edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 3845 0302-9743 ; .
9783540330974
Computer science Computer software Logic design Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages