Z User Workshop : proceedings of the ... Annual Z User Meeting.
Saved in:
| 新标题: | International Conference of Z Users. ZUM ... the Z formal specification notation |
|---|---|
| 企业作者: | , |
| 格式: | 会议录 |
| 语言: | English |
| 出版: |
London ; New York :
Springer Verlag,
-c1994.
|
| 丛编: | Workshops in computing
|
| 主题: |
| 出版: | -8th (1994). |
|---|---|
| Item Description: | Description based on: 4th (15 Dec. 1989). |
| 实物描述: | v. ; 25 cm. |
| 出版频率: | Annual |