00793cam a2200181 a 450000500170000000800410001702000150005803500150007305000250008811100760011324501950018926000370038430000110042144000490043265000460048170000410052770000430056820260819092756.0061009s1995    gw      r     100|0 eng |  a3540602712  a.b1151749900aQA76.73 Z2bI58 19952 aInternational Conference of Z Usersn(9th :c1995 :cLimerick, Ireland)10aZUM '95 :bthe Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings /cJonathan P. Bowen, Michael G. Hinchey (eds.)  aBerlin :bSpringer-Verlag,c1995  a569 p. 0aLecture notes in computer science ;vno. 967 0aZ (Computer program language)vCongresses1 aBowen, Jonathan Peter,d1956- ,eed.1 aHinchey, Michael Gerard,d1969- ,eed.