Mike Hinchey, Oxford University Computing Laboratory
Jonathan Bowen

Published September, 1995 by Prentice Hall PTR (ECS Professional)

Copyright 1996, 442 pp.
Cloth
ISBN 0-13-366949-1

Sign up for future
mailings on this subject.

See other books about:
    Software Engineering--Advanced-Computer Science

This collection of realistic examples of the application of formal methods will impress on industry the relevance of formal methods into the environment, and how particular methods solved the problem.

---

© Prentice-Hall, Inc. A Simon & Schuster Company Comments To webmaster@prenhall.com