Z – An Introduction to Formal Methods 2e

TUTORIAL.
<br />
<br /> First–Order Logic.
<br />
<br /> Set Theory.
<br />
<br /> Internal Telephone Directory.
<br />
<br /> More About Relations and Schemas.
<br />
<br /> Functions.
<br />
<br /> Sequences.
<br />
<br /> Bags.
<br />
<br /> Free Types.
<br />
<br /> METHODS OF REASONING.
<br />
<br /> Formal Proof.
<br />
<br /> Rigorous Proof.
<br />
<br /> Immanent Reasoning.
<br />
<br /> Reification and Decomposition.
<br />
<br /> Floyd–Hoare Logic.
<br />
<br /> Getting to Program Code.
<br />
<br /> CASE STUDIES.
<br />
<br /> Two Small Case Studies.
<br />
<br /> Wing′s Library Problem.
<br />
<br /> Partial Specification of a Text–Editor.
<br />
<br /> SPECIFICATION ANIMATION.
<br />
<br /> Animation Using Miranda.
<br />
<br /> REFERENCE MANUAL.
<br />
<br /> Methods of Definition.
<br />
<br /> Formal Definitions.
<br />
<br /> Rules and Obligations.
<br />
<br /> Appendices.
<br />
<br /> Bibliography.
<br />
<br /> Index.