Catalog

Record Details

Catalog Search



Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz.

Farré, Jacques. (editor.). Litovsky, Igor. (editor.). Schmitz, Sylvain. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540330974
  • Physical Description: XIII, 360 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: 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.

Additional Resources