Catalog

Record Details

Catalog Search


Back To Results
Showing Item 4 of 4

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 4 of 4

Additional Resources