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.