Read more
Informationen zum Autor Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley. Klappentext Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards. Zusammenfassung Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards. Inhaltsverzeichnis TUTORIAL. First-Order Logic. Set Theory. Internal Telephone Directory. More About Relations and Schemas. Functions. Sequences. Bags. Free Types. METHODS OF REASONING. Formal Proof. Rigorous Proof. Immanent Reasoning. Reification and Decomposition. Floyd-Hoare Logic. Getting to Program Code. CASE STUDIES. Two Small Case Studies. Wing's Library Problem. Partial Specification of a Text-Editor. SPECIFICATION ANIMATION. Animation Using Miranda. REFERENCE MANUAL. Methods of Definition. Formal Definitions. Rules and Obligations. Appendices. Bibliography. Index.
