LEADER 01358nam--2200397---450-
001 990003083310203316
005 20080424132719.0
010   $a978-3-540-75290-5
035   $a000308331
035   $aUSA01000308331
035   $a(ALEPH)000308331USA01
035   $a000308331
100   $a20080319d2007----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aTheoretical aspects of computing - ICTAC 2007$e4th International colloquium$eMacao, China, September 26-28, 2007$eProceedings$fCliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXI, 481 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4711
410  0$12001$aLecture notes in computer science$v4711
606 0 $aInformatica$xCongressi$yMacao$z2007
676   $a004
702 1 $aJONES,$bCliff B.
702 1 $aLIU,$bZhiming
702 1 $aWOODCOCK,$bJim
710   $aInternational colloquium$d<4.;$f2007;$eMacao>$0600806
801  0$aITA$bsalbc$gISBD
912   $a990003083310203316
951   $a001 LNCS 4711$b35443/CBS$c001$d00216646
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080319$lUSA01$h0903
979   $aANGELA$b90$c20080424$lUSA01$h1327
996   $aTheoretical aspects of computing - ICTAC 2007$91019737
997   $aUNISA