在您的搜寻 主题建议
Showing 1 - 5 results of 5 for search '', 查询时间: 0.01s Refine Results
  1. 1
    Z: a beginner's guide /
    图书
    由 Rann, David
    出版 1994
    加到收藏夹
    Saved in:
  2. 2
    The Z notation : a reference manual /
    图书
    由 Spivey, J. M.
    出版 1989
    加到收藏夹
    Saved in:
  3. 3
    Z guide for beginners /
    图书
    由 McMorran, Mike
    出版 1993
    加到收藏夹
    Saved in:
  4. 4
    Z User Workshop : proceedings of the ... Annual Z User Meeting.
    会议录
    出版 1994
    加到收藏夹
    Saved in:
  5. 5
    Formal specification using Z /
    图书
    由 Lightfoot, David, 1951-
    出版 1991
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 – 推荐此搜索 – 保存搜索