"Applications of Formal Methods" now available

• Subject: "Applications of Formal Methods" now available
• From: Michael Hinchey <hinchey>
• Date: Tue, 29 Aug 1995 12:08:45 GMT
• Newsgroups: comp.specification.z, comp.specification.misc, comp.specification.larch, comp.software-eng
• Organization: New Jersey Institute of Technology, Newark, N.J.
• Sender: news@njit.edu
• Xref: src.dec.com comp.specification.z:2159 comp.specification.misc:67 comp.specification.larch:43 comp.software-eng:36343

"Applications of Formal Methods", edited by Michael G. Hinchey and Jonathan
P. Bowen, Prentice Hall International Series in Computer Science, is now
on sale.

A table of contents, abstracts of chapters, and ordering information is now
available via the WWW at:

	http://www.comlab.ox.ac.uk/archive/formal-methods/afm-book.html

The book retails for GBP 29.95 / US$ 44.95 (approx), which is slightly less
than originally advertised.

-- Mike.

• Prev: Re: Partial Functions and Logics
• Next: Re: Partial Functions and Logics
• Index: Larch archive index