LEADER 01534nam--2200397---450-
001 990003086530203316
005 20080326103544.0
010   $a978-3-540-76648-3
035   $a000308653
035   $aUSA01000308653
035   $a(ALEPH)000308653USA01
035   $a000308653
100   $a20080326d2007----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||101yy
200 1 $aFormal methods and software engineering$e9th International conference on formal engineering methods, ICFEM 2007$eBoca Raton, FL, USA, November 14-15, 2007$eProceedings$fMichael Butler, Michael G. Hinchey, Marìa M. Larrondo-Petrie (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aX, 386 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4789
410  0$12001$aLecture notes in computer science$v4789
606 0 $aElaboratori elettronici$xProgrammazione$xCongressi$yBoca Raton$z2007
610 0 $aSoftware$xProgettazione$xCongressi$yBoca Raton$z2007
676   $a004.01
702  1$aBUTLER,$bMichael
702  1$aHINCHEY,$bMichael G.
702  1$aLARRONDO-PETRIE,$bMarìa M.
710 12$aInternational conference on formal engineering methods, ICFEM 2007$d<9;$eBoca Raton$f2007;>$0600910
801  0$aITA$bsalbc$gISBD
912   $a990003086530203316
951   $a001 LNCS 4789$b35944/CBS$c001$d00216725
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080326$lUSA01$h1035
996   $aFormal methods and software engineering$91019889
997   $aUNISA