LDR 01065cam 2200289 a 4500
001 376129
005 20000510141335.0
008 000501s2000 nz a b 000 0 eng
010 _o 5563486
020 _c Gratis (spiral binding)
035 _9 ABU-2622
040 _a NZNB
_c CU
_d NZNB
082 04 _a 005.133
_2 21
092 _a QA75.5.W926 no.2000/06
100 1 _a Reeve, Greg.
245 10 _a [Mu]-charts and Z :
_b hows, whys and wherefores /
_c by Greg Reeve and Steve Reeves.
260 _a Hamilton, N.Z. :
_b Dept. of Computer Science, University of Waikato,
_c c2000.
300 _a 24 p. :
_b ill. ;
_c 30 cm.
490 1 _a Working paper series,
_x 1170-487X ;
_v 00/6
500 _a Received on Standing Order.
500 _a "March 2000."
504 _a Includes bibliographical references (p. 23-24).
650 00 _a Statecharts (Computer science)
650 00 _a Z (Computer program language)
700 1 _a Reeves, Steve,
_d 1957- .
710 _a University of Waikato.
_b Dept. of Computer Science.
830 0 _a Working paper series (University of Waikato. Dept. of
Computer Science) ;
_v 00/6.