import/CMSwp-all.marc indexed_doc en iso_8859_1 CMSwp-all.marc CMSwp-all.marc 137 MARCPlugin MARC &#091;2006&#093; Includes bibliographical references (leaves 7-8). Streader, David. Object-oriented programming (Computer science) Data structures (Computer science) Computer programs Verification. University of Waikato. Dept. of Computer Science. "September 20, 2006." Dept. of Computer Science, University of Waikato, Reeves, Steve, 1957- State- and event-based refinement / Steve Reeves and David Streader. Hamilton, N.Z. : HASH6a30b66a3a5419ad674b26s137 1378460671 20130906 1378460831 20130906 HASH6a30/b66a3a54/19ad674b/26s137.dir <pre> LDR 01045cam 2200277 a 4500 001 589924 005 20070320085223.0 008 061204s2006 nz b 000 0 eng d 035 _a 11275068 035 _9 11275068 040 _a HU _c HU 043 _a u-nz--- 050 14 _a QA75.5 _b .W926 no.2006/09 100 1 _a Reeves, Steve, _d 1957- 245 10 _a State- and event-based refinement / _c Steve Reeves and David Streader. 260 _a Hamilton, N.Z. : _b Dept. of Computer Science, University of Waikato, _c [2006] 300 _a 8 leaves ; _c 30 cm. 490 1 _a Working paper, _x 1170-487X ; _v 09/2006 500 _a "September 20, 2006." 504 _a Includes bibliographical references (leaves 7-8). 650 0 _a Object-oriented programming (Computer science) 650 0 _a Data structures (Computer science) 650 0 _a Computer programs _x Verification. 700 1 _a Streader, David. 710 2 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science : Online) ; _v 2006/09. </pre>