Type and effect systems : behaviours for concurrency /

類似資料

• Algorithmic learning for knowledge-based systems : GOSLER final report /
  出版事項: (1995)
• Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
  出版事項: (1995)
• Abstract data types and algorithms /
  著者:: Azmoodeh, Manoochehr
  出版事項: (1988)
• Modeling embedded systems and SoC's : concurrency and time in models of computation /
  著者:: Jantsch, Axel
  出版事項: (2004)
• Algorithms for network programming /
  著者:: Kennington, Jeff L.
  出版事項: (1980)