Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Record details
- ISBN: 9783642396144
-
Physical Description:
electronic
electronic resource
access
remote
X, 145 p. 38 illus. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Search for related items by subject
Subject: | Computer science Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |