[Prev][Next][Index]
Larch ...
-
To: horning@gatekeeper.dec.com
-
Subject: Larch ...
-
From: Zhonghua Yang <yang@dstc.edu.au>
-
Date: Mon, 29 Aug 94 16:29:19 EST
-
Delivery-Date: Sun, 28 Aug 94 23:32:10 -0700
-
Organization: CRC for Distributed Systems Technology (DSTC), University of Queensland, Qld 4072 Australia
-
Phone: +61 7 365-4679, Fax: +61 7 365-4311
-
Return-Receipt-To: yang@dstc.edu.au
Please advise me the publication details of the book:
Larch: Languages and Tools for Formal Specification.
Thanks.
Zhonghua
---------------------------------------------------------------------
Zhonghua Yang
Distributed Systems Technology Centre Email: yang@dstc.edu.au
Level 7, Gehrmann Laboratories Phone: +61 (7) 365-4679
University of Queensland, St. Lucia Fax: +61 (7) 365-4311
Brisbane, QLD 4072 Australia WWW: http://www.dstc.edu.au