LEADER 01273nam--2200373---45--
001 990003083240203316
005 20080505081817.0
010   $a978-3-540-73209-9
035   $a000308324
035   $aUSA01000308324
035   $a(ALEPH)000308324USA01
035   $a000308324
100   $a20080318d2007----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aIntegrated formal methods$e6th International conference, IFM 2007$eOxford, UK, July 2-5, 2007$eprocedings$fJim Davies, Jeremy Gibbons (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aIX, 660 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4591
410   $12001$aLecture notes in computer science$v4591
606  0$aElaboratori elettronici$xSoftware$xCongressi$yOxford$z2007
676   $a004
702  1$aDAVIES,$bJim
702  1$aGIBBONS,$bJeremy
710 12$aInternational conference, IFM$d<6.;$f2007;$eOxford>$0600800
801  0$aITA$bsalbc$gISBD
912   $a990003083240203316
951   $a001 LNCS 4591$b35120/CBS$c001$d00224751
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080318$lUSA01$h1822
979   $aANGELA$b90$c20080505$lUSA01$h0818
996   $aIntegrated formal methods$91019743
997   $aUNISA