[Prev][Next][Index]
Larch Book status
-
To: larch-interest
-
Subject: Larch Book status
-
From: horning
-
Date: Thu, 19 Nov 92 16:13:02 -0800
For all those wondering:
The book is in production. The latest word from Springer-Verlag
is that it will be available in January 1993. Contact your friendly
bookstore or Springer salesman...
J.V. Guttag and J.J. Horning, with S.J. Garland, K.D. Jones,
A. Modet, and J.M. Wing, {\it Larch: Languages and Tools for
Formal Specification}, 250+viii pp., Springer-Verlag, New York,
1993.
Jim H.