Farré, Jacques.
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. - digital. - Lecture Notes in Computer Science, 3845 0302-9743 ; . - Lecture Notes in Computer Science, 3845 .
9783540330974
10.1007/11605157 doi
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.
QA75.5-76.95
004.0151
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. - digital. - Lecture Notes in Computer Science, 3845 0302-9743 ; . - Lecture Notes in Computer Science, 3845 .
9783540330974
10.1007/11605157 doi
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.
QA75.5-76.95
004.0151