LEADER 02366oam  2200553z- 450 
001 996200470703316
005 20160814153845.0
010   $a0-7695-4751-6
035   $a(CKB)3360000000370758
035   $a(EXLCZ)993360000000370758
100   $a20121018c2012uuuu  -u-            -
101 0 $aeng
200 10$aIEEE Sixth International Symposium on Theoretical Aspects of Software Engineering $eproceedings, Beijing, China, 4-6 July 2012 /$fedited by Tiziana Margaria, Zongyan Qiu and Hongli Yang ; sponsored by IEEE Computer Society, IFIP [and] Beijing University of Technology
210   $aBeijing, China
215   $ax, 284 p. $cill. ;$d28 cm
300   $aOn cover and spine: 2012 Sixth International Conference on Theoretical Aspects of Software Engineering.
300   $a"IEEE Computer Soicety Order Number P4751" -- t.p. verso.
320   $aIncludes bibliographical references and author index.
517 3 $aSixth International Symposium on Theoretical Aspects of Software Engineering
517 3 $aTheoretical aspects of software engineering
517 3 $a2012 IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering
517 3 $aTASE 2012
517 3 $a2012 Sixth International Conference on Theoretical Aspects of Software Engineering
606   $aSoftware engineering$vCongresses
606   $aComputer software$xDevelopment$vCongresses
606   $aComputer software$xDevelopment$2fast$3(OCoLC)fst00872537
606   $aSoftware engineering$2fast$3(OCoLC)fst01124185
608   $aConference proceedings.$2fast
615  0$aSoftware engineering
615  0$aComputer software$xDevelopment
615  7$aComputer software$xDevelopment.
615  7$aSoftware engineering.
676   $a005.1
701   $aMargaria-Steffen$b Tiziana$f1964-$0845731
701   $aQiu$b Zongyan$01242273
701   $aYang$b Hongli$cprogram co-chair.$01242274
712 02$aIEEE Computer Society.
712 02$aInternational Federation for Information Processing.
712 02$aBeijing gong ye da xue.
801  0$bLHL
801  1$bLHL
801  2$bOCLCO
801  2$bOCLCF
801  2$bOCLCO
801  2$bDLC
906   $aPROCEEDING
912   $a996200470703316
996   $aIEEE Sixth International Symposium on Theoretical Aspects of Software Engineering$92881664
997   $aUNISA