Catalog

Record Details

Catalog Search


Back To Results
Showing Item 31 of 883

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings  Cover Image E-book E-book

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Kutrib, Martin. (editor.). Moreira, Nelma. (editor.). Reis, Rogério. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642316234
  • Physical Description: X, 319p. 23 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Subject: Computer science.
Logic design.
Computer Science.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.

Electronic resources


Back To Results
Showing Item 31 of 883

Additional Resources