import/CMSwp-all.marc url indexed_doc en utf8 CMSwp-all.marc CMSwp-all.marc 228 MARCPlugin MARC New Zealand Formal Program Development Colloquium (1st : 1994 : University of Waikato) Proceedings of the first New Zealand Formal Program Development Colloquium / edited by Steve Reeves. Hamilton, N.Z. : Dept. of Computer Science, University of Waikato, 1994. Includes bibliographical references. Computer software Development Congresses. Electronic digital computers Programming Congresses. Reeves, Steve, 1957- University of Waikato. Dept. of Computer Science. HASH6a30b66a3a5419ad674b26s228 1678162979 20230307 1678163026 20230307 HASH6a30/b66a3a54/19ad674b/26s228.dir <pre> LDR 01070cam 2200241 a 4500 001 279753 010 _o zbn95-70849 035 _a (nzNZBN)8825062 008 s1994 n a b eng d 035 _9 ABG-2630 092 _a QA75.5.W926 no. 94/18 111 20 _a New Zealand Formal Program Development Colloquium _n (1st : _d 1994 : _c University of Waikato) 245 10 _a Proceedings of the first New Zealand Formal Program Development Colloquium / _c edited by Steve Reeves. 260 0 _a Hamilton, N.Z. : _b Dept. of Computer Science, University of Waikato, _c 1994. 300 _a ii, 126 p. : _b ill. ; _c 30 cm. 490 1 _a Working paper series, _x 1170-487X ; _v 94/18 504 _a Includes bibliographical references. 650 0 _a Computer software _x Development _v Congresses. 650 0 _a Electronic digital computers _x Programming _v Congresses. 700 1 _a Reeves, Steve, _d 1957- 710 2 _a University of Waikato. _b Dept. of Computer Science. 246 _a Formal program development. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 94/18. </pre>