Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 4

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Holzer, Markus. (editor.). Kutrib, Martin. (editor.). Pighizzini, Giovanni. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642226007
  • Physical Description: electronic
    electronic resource
    access
    remote
    X, 329p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Subject: Computer science
Software engineering
Logic design
Computer Science
Computation by Abstract Devices
Software Engineering
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Search Results Showing Item 1 of 4

Additional Resources