1. Home
  2. Computer
  3. Programmin­g
  4. The Way of Z: Practical Programming with Formal Methods

Computer · Programmin­g

The Way of Z: Practical Programming with Formal Methods

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About The Way of Z: Practical Programming with Formal Methods

The Way of Z: Practical Programming with Formal Methods- By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [University of Washington]

Tags

Personal Pages

Where it sits

Computer Programmin­g

More in Programmin­g

See all →