LEADER 01468nam--2200397---450 
001 990001109110203316
005 20180312154616.0
010   $a3-540-43166-7
035   $a000110911
035   $aUSA01000110911
035   $a(ALEPH)000110911USA01
035   $a000110911
100   $a20021129d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aZB 2002: Formal specification and development in Z and B$e2th International conference of B and Z users$eGrenoble,France,January, 2002$eproceedings$fDidier Bert... <et al.> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $aXII,533 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2272
410   $12001$aLecture notes in computer science$v2272
610 1 $aLinguaggio B$aCongressi$a2002
610 1 $aLinguaggio Z$aCongressi$a2002
676   $a005.133
702  1$aBert,$bDidier
710 12$aInternational conference of B and Z users <2.; 2002 ; Grenoble ; France>$0554382
801  0$aITA$bCBS$gISBD
912   $a990001109110203316
951   $a001 LNCS (2272)$b0026767 CBS$c001$d00112134
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021129$lUSA01$h0920
979   $aDIGIUSEPPE$b90$c20021129$lUSA01$h1311
979   $aDIGIUSEPPE$b90$c20021202$lUSA01$h1016
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aZB 2002: Formal specification and development in Z and B$9981187
997   $aUNISA