Catalog

Record Details

Catalog Search



Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy Schürr, Dániel Varró, Gergely Varró.

Schürr, Andy. (editor.). Varró, Dániel. (editor.). Varró, Gergely. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642341762
  • Physical Description: XII, 255 p. 133 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Subject: Computer science.
Software engineering.
Data structures (Computer science).
Computer software.
Logic design.
Computational complexity.
Computer Science.
Discrete Mathematics in Computer Science.
Data Structures.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.

Additional Resources