import/CMSwp-all.marc url indexed_doc en utf8 CMSwp-all.marc CMSwp-all.marc 135 MARCPlugin MARC Reeves, Steve, 1957- State- and event-based refinement / Steve Reeves and David Streader. Hamilton, N.Z. : Dept. of Computer Science, University of Waikato, &#091;2006&#093; "September 20, 2006." Includes bibliographical references (leaves 7-8). Object-oriented programming (Computer science) Data structures (Computer science) Computer programs Verification. Streader, David. University of Waikato. Dept. of Computer Science. HASH6a30b66a3a5419ad674b26s135 1678162979 20230307 1678163025 20230307 HASH6a30/b66a3a54/19ad674b/26s135.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>