Implementation and Application of Automata
Champarnaud, Jean-Marc.
Implementation and Application of Automata 7th International Conference, CIAA 2002 Tours, France, July 3-5, 2002 Revised Papers / edited by Jean-Marc Champarnaud, Denis Maurel. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540449775
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.
Implementation and Application of Automata 7th International Conference, CIAA 2002 Tours, France, July 3-5, 2002 Revised Papers / edited by Jean-Marc Champarnaud, Denis Maurel. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540449775
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.