IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering : proceedings, Beijing, China, 4-6 July 2012 / / edited by Tiziana Margaria, Zongyan Qiu and Hongli Yang ; sponsored by IEEE Computer Society, IFIP [and] Beijing University of Technology

• Record Nr.: UNINA9910619131103321
• Pubbl/distr/stampa: Beijing, China
• ISBN: 0-7695-4751-6
• Descrizione fisica: x, 284 p. : ill. ; ; 28 cm
• Altri autori (Persone): Margaria-SteffenTiziana <1964->; QiuZongyan; YangHongli, program co-chair
• Disciplina: 005.1
• Soggetti: Software engineering; Computer software - Development; Conference proceedings.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: On cover and spine: 2012 Sixth International Conference on Theoretical Aspects of Software Engineering.; "IEEE Computer Soicety Order Number P4751" -- t.p. verso.
• Nota di bibliografia: Includes bibliographical references and author index.