1.

図書
図書
1. An introduction to formal specification and Z
Ben Potter, Jane Sinclair, David Till
出版情報: Englewood Cliffs, N.J. : Prentice Hall, 1991
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
2.

図書
図書
2. Introduction to formal specification and Z. 2nd ed (pbk.)
Ben Potter, Jane Sinclair, David Till
出版情報: London ; Tokyo : Prentice Hall, 1996
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
3.

図書
図書
3. ソフトウェア仕様記述の先進技法-Z言語
B. ポター, J.シンクレア, D.ティル著 ; 田中武二監訳
出版情報: 東京 : トッパン, 1993.9
所蔵情報: loading…