"Applications of Formal Methods" now available

"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:


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

-- Mike.