Cliquer le lien The Z Notation A reference Manual.pdf pour afficher le fichier.
Formal Specification ...
The Z Notation: A Reference Manual
Second Edition J. M. Spivey Programming Research Group University of Oxford Based on the work of J. R. Abrial, I. J. Hayes, C. A. R. Hoare, He Jifeng, C. C. Morgan, J. W. Sanders, I. H. Sørensen, J. M. Spivey, B. A. Sufrin
Document PDF