Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
Why Do We Need Formal Methods? Background Material. Formal Specification Styles. Introduction to Model-Based Languages. VDM. The Z Notation. Formal Semantics. Tool Support. The Future of Formal Methods. Appendices. Solutions to VDM Exercises. Solutions to Z Exercises. Recommended Reading. Glossary. Index.