01451nam--2200421---450-9900003101602033163-540-67944-80031016USA010031016(ALEPH)000031016USA01003101620001206d2000----km-y0itay0103----baengDE||||||||001yyZB 2000formal specification and development in Z and Bfirst International conference of B and Z userYork, UK, August 29- Sptember 2, 2000proceedingsJonathan P. Bowen ...<et al.> (eds.)BerlinSpinger Verlagc2000XIV, 510 p.ill.20 cmLecture notes in computer science18782001Lecture notes in computer science1878001-------2001Linguaggio BCongressi2000Linguaggio ZCongressi2000CongressiYork2000005.133BOWEN,Jonathan P.International conference of B and Z users <1.; 2000; York>542330ITsalbcISBD990000310160203316001 LNCS (1878)CBS 002576100100103413BKSCIPATTY9020001206USA011108PATTY9020001206USA01162520020403USA011639PATRY9020040406USA011622ZB 2000880849UNISA