Catalog

Record Details

Catalog Search


Search Results Showing Item 57 of 883

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).

Electronic resources

Record details

  • ISBN: 9783642316234
  • Physical Description: electronic
    electronic resource
    access
    remote
    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
Search Results Showing Item 57 of 883

Additional Resources