Catalog

Record Details

Catalog Search


Back To Results
Showing Item 72 of 1174

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

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

Record details

  • ISBN: 9783642226007
  • Physical Description: 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.

Electronic resources


Back To Results
Showing Item 72 of 1174

Additional Resources