Linking Theories in Probabilistic Programming

مواد مشابهة

• Linking Theories of Concurrency
  حسب: He, J, وآخرون
  منشور في: (2005)
• Unifying theories of programming
  حسب: He, J, وآخرون
  منشور في: (1998)
• Linking Theories in Computing Science
  حسب: Hoare, C
  منشور في: (2015)
• Unifying Theories for Parallel Programming
  حسب: Hoare, C, وآخرون
  منشور في: (1997)
• Unified Theories of Programming
  حسب: Hoare, C
  منشور في: (2015)