Z

An Introduction to Formal Methods

Häftad, Engelska, 1994

2 779 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum1994-05-03
Mått168 x 247 x 23 mm
Vikt680 g
FormatHäftad
SpråkEngelska
Antal sidor400
Upplaga2
FörlagJohn Wiley & Sons Inc
ISBN9780471939733

Tillhör följande kategorier

Programspråk inom Data och it

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.