LEADER 01451nam--2200421---450-
001 990000310160203316
010   $a3-540-67944-8
035   $a0031016
035   $aUSA010031016
035   $a(ALEPH)000031016USA01
035   $a0031016
100   $a20001206d2000----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aZB 2000$eformal specification and development in Z and B$efirst International conference of B and Z user$eYork, UK, August 29- Sptember 2, 2000$eproceedings$fJonathan P. Bowen ...<et al.> (eds.)
210   $aBerlin$cSpinger Verlag$dc2000
215   $aXIV, 510 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v1878
410   $12001$aLecture notes in computer science$v1878
461  1$1001-------$12001
610 0 $aLinguaggio B$xCongressi$z2000
610 0 $aLinguaggio Z$xCongressi$z2000
610 0 $aCongressi$yYork$z2000
676   $a005.133
702  1$aBOWEN,$bJonathan P.
710 12$aInternational conference of B and Z users <1.; 2000; York>$0542330
801  0$aIT$bsalbc$gISBD
912   $a990000310160203316
951   $a001 LNCS (1878)$bCBS 0025761$c001$d00103413
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20001206$lUSA01$h1108
979   $aPATTY$b90$c20001206$lUSA01$h1625
979   $c20020403$lUSA01$h1639
979   $aPATRY$b90$c20040406$lUSA01$h1622
996   $aZB 2000$9880849
997   $aUNISA