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