import/CMSwp-all.marc indexed_doc en iso_8859_1 CMSwp-all.marc CMSwp-all.marc 232 MARCPlugin MARC 1994. Includes bibliographical references. Reeves, Steve, 1957- Computer software Development Congresses. Electronic digital computers Programming Congresses. University of Waikato. Dept. of Computer Science. Dept. of Computer Science, University of Waikato, Proceedings of the first New Zealand Formal Program Development Colloquium / edited by Steve Reeves. New Zealand Formal Program Development Colloquium (1st : 1994 : University of Waikato) Hamilton, N.Z. : HASH6a30b66a3a5419ad674b26s232 1391133421 20140131 1391133561 20140131 HASH6a30/b66a3a54/19ad674b/26s232.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>