01183cam a2200277 a 4500 20260819092756.0 061009s1995 gw r 100|0 eng | 3540602712 .b11517499 QA76.73 Z2 I58 1995 International Conference of Z Users (9th : 1995 : Limerick, Ireland) ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey (eds.) Berlin : Springer-Verlag, 1995 569 p. Lecture notes in computer science ; no. 967 Z (Computer program language) Congresses Bowen, Jonathan Peter, 1956- , ed. Hinchey, Michael Gerard, 1969- , ed. .b11517499 mngc - 121025 0 960704 m a - 0 mngc 14 Barcode : 30050004034996 CREATED : 1996-04-07 RECORD # : i11794598 LPATRON : 1011568 LCHKIN : 2001-03-05 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 1 TOT RENEW : 0 130839 130839 0 0 0 0 MAIN MAIN mngc 2026-08-19 0 QA76.73 Z2 I58 1995 30050004034996 2026-08-19 09:27:56 1 2026-08-19 14