Z notation
暂无分享,去创建一个
Abstract This paper, one of a simultaneously published set, describes the establishment in 1986 of the standards project for Z Notation, and the progress of the project to the end of 1993.
[1] Jonathan P. Bowen. Selected Z Bibliography , 1990, Z User Workshop.
[2] I. D. Hill,et al. Programming language standardisation , 1980 .
[3] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.