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)