import/CMSwp-all.marc url indexed_doc en utf8 CMSwp-all.marc CMSwp-all.marc 20 MARCPlugin MARC Henson, Martin C. Revising Z : semantics and logic / by Martin C. Henson and Steve Reeves. Hamilton, N.Z. : Dept. of Computer Science, University of Waikato, c1998. "March 1998." Received on Standing Order. Includes bibliographical references (p. 42). Z (Computer program language) Reeves, Steve, 1957- University of Waikato. Dept. of Computer Science. HASH6a30b66a3a5419ad674b26s20 1778053391 20260506 1778053445 20260506 HASH6a30/b66a3a54/19ad674b/26s20.dir <pre> LDR 00998cam 2200277 a 4500 001 333853 008 s1998 nz b 00000 eng d 010 _o zbn98035528 020 _c Gratis (spiral binding) 035 _a (nzNZBN)10772612 035 _9 ABO-3463 040 _a NZNB _c NZNB 082 0 _a 005.133 _2 21 092 _a QA75.5.W926 no.98/4 100 1 _a Henson, Martin C. 245 10 _a Revising Z : _b semantics and logic / _c by Martin C. Henson and Steve Reeves. 260 _a Hamilton, N.Z. : _b Dept. of Computer Science, University of Waikato, _c c1998. 300 _a 42 p. ; _c 30 cm. 490 1 _a Working paper, _x 1170-487X ; _v 98/4 500 _a "March 1998." 500 _a Received on Standing Order. 504 _a Includes bibliographical references (p. 42). 650 0 _a Z (Computer program language) 700 1 _a Reeves, Steve, _d 1957- 710 2 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 98/4. </pre>