Showing 1 - 3 results of 3 for search 'Guessarian, Irène, 1948-', 查询时间: 0.01s Refine Results
  1. 1
    On the axiomatization of "if-then-else" /
    图书
    由 Guessarian, Irène, 1948-
    出版 1985
    加到收藏夹
    Saved in:
  2. 2
    Algebraic semantics /
    图书
    由 Guessarian, Irène, 1948-
    出版 1981
    加到收藏夹
    Saved in:
  3. 3
    Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
    会议录 图书
    出版 1990
    其他作者: “...Guessarian, Iréne, 1948-...”
    加到收藏夹
    Saved in:
检索工具: 得到RSS订阅 – 推荐此搜索