Third International Symposium on Theoretical Aspects of Software Engineering proceedings, Tianjin, China, 29-31 July 2009 / sponsored by IEEE Computer Society, IFIP, Tianjin Normal University ; edited by Wei-Ngan Chin and Shengchao Qin.

Other author/creatorChin, Wei-Ngan.
Other author/creatorQin, Shengchao.
Other author/creatorIEEE Computer Society.
Other author/creatorInternational Federation for Information Processing.
Other author/creatorTianjin shi fan da xue.
Other author/creatorIEEE Xplore (Online service)
Portion of title Theoretical aspects of software engineering
Other title TASE 2009
General note"IEEE Computer Soicety Order Number P3757" -- t.p. verso.
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009905206
ISBN9780769537573 (pbk.)
ISBN076953757X (pbk.)