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)