LDR 01123cam 2200313 a 4500
001 376134
005 20001004103919.0
008 000906s2000 nz a b 000 0 eng
010 _o 5772767
020 _c Gratis (spiral binding)
035 _a 5772767
035 _a (NLNZils)602842
035 _9 ABU-2627
040 _a NZNB
_c DUS
_d NZNB
082 04 _a 005.133
_2 21
092 _a QA75.5.W926 no.2000/11
100 1 _a Reeve, Greg.
245 10 _a [Mu]-charts and Z :
_b extending the translation /
_c by Greg Reeve and Steve Reeves.
260 _a Hamilton, N.Z. :
_b Dept. of Computer Science, University of Waikato,
_c c2000.
300 _a 56 p. :
_b ill. ;
_c 30 cm.
490 1 _a Working paper series,
_x 1170-487X ;
_v 00/11
500 _a Received on Standing Order.
500 _a "August 2000."
504 _a Includes bibliographical references (p. 30-31).
650 00 _a Statecharts (Computer science)
650 00 _a Z (Computer program language)
700 1 _a Reeves, Steve,
_d 1957-
710 2 _a University of Waikato.
_b Dept. of Computer Science.
830 0 _a Working paper series (University of Waikato. Dept. of
Computer Science) ;
_v 00/11.