LEADER 01299nam--2200373---450-
001 990001769240203316
005 20040618085428.0
010   $a3-540-40253-5
035   $a000176924
035   $aUSA01000176924
035   $a(ALEPH)000176924USA01
035   $a000176924
100   $a20040618d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aZB 2003: formal specification and development in Z and B$ethird international conference of B and Z users$eTurku, Finland, June 4-6, 2003$eproceedings$fDidier Bert... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aXIII, 545 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2651
410  0$12001$aLecture notes in computer science$v2651
454  1$12001
461  1$1001-------$12001
702  1$aBERT,$bDidier
702  1$aBOWEN,$bJonathan P.
710 12$aInternational conference of B and Z users <3. ; 2003 ; Turku>$0563268
801  0$aIT$bsalbc$gISBD
912   $a990001769240203316
951   $a001 LNCS 2651$b29522/CBS$c001 LNCS$d00113905
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040618$lUSA01$h0854
996   $aZB 2003: formal specification and development in Z and B$9952313
997   $aUNISA