+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Z : An Introduction to Formal Methods - Antoni Diller

Z

An Introduction to Formal Methods

Paperback Published: 3rd May 1994
ISBN: 9780471939733
Number Of Pages: 394

Share This Book:

Paperback

RRP $151.22
$130.50
14%
OFF
or 4 easy payments of $32.63 with Learn more
Ships in 7 to 10 business days

Earn 261 Qantas Points
on this Book

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.

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.

ISBN: 9780471939733
ISBN-10: 0471939730
Audience: Tertiary; University or College
Format: Paperback
Language: English
Number Of Pages: 394
Published: 3rd May 1994
Country of Publication: GB
Dimensions (cm): 24.23 x 16.91  x 2.28
Weight (kg): 0.64
Edition Number: 1

Earn 261 Qantas Points
on this Book