Showing 1 - 3 results of 3 for search 'Loeckx, Jacques', 查询时间: 0.01s Refine Results
  1. 1
    Automata, languages, and programming /
    由 Loeckx, Jacques
    出版 1974
    Printed Book
  2. 2
    Automata, language and programming 2nd colloquium,University of Saarbrucken,July 29-Aug2, /
    由 Loeckx, Jacques
    出版 1974
  3. 3
    Foundation of program verification /
    由 Loeckx, Jacques
    出版 1983
    Printed Book
检索工具: 得到RSS订阅 — 推荐此搜索