| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465559603316 |
|
|
Titolo |
Software Composition [[electronic resource] ] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings / / edited by Sven Apel, Ethan Jackson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 181 p. 57 illus., 35 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 6708 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer logic |
Programming languages (Electronic computers) |
Computer communication systems |
Mathematical logic |
Software Engineering |
Programming Techniques |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Computer Communication Networks |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences.The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications. |
|
|
|
|
|
|
|
| |