[Mu]-charts and Z : extending the translation / by Greg Reeve and Steve Reeves.
 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.