Catalog

Record Details

Catalog Search



Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe.

Binder, Walter. (editor.). Bodden, Eric. (editor.). Löwe, Welf. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642396144
  • Physical Description: X, 145 p. 38 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.

Additional Resources