| 其他書名 | VDM and Z : Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 Proceedings |
| 出版 | Springer-Verlag, 1990 |
| ISBN | 03875251309780387525136 |
| URL | http://books.google.com.hk/books?id=cmnEAQAACAAJ&hl=&source=gbs_api |