Linking Theories in Computing Science

類似資料

• Unification of Theories: A Challenge for Computing Science
  著者:: Hoare, C
  出版事項: (1995)
• Linking Theories of Concurrency
  著者:: He, J, 等
  出版事項: (2005)
• Computer Science
  著者:: Hoare, C
  出版事項: (1971)
• Linking Theories in Probabilistic Programming
  著者:: He, J, 等
  出版事項: (1999)
• Mathematical Models for Computing Science
  著者:: Hoare, C
  出版事項: (1994)