Linking Theories in Probabilistic Programming

פריטים דומים

• Linking Theories of Concurrency
  מאת: He, J, et al.
  יצא לאור: (2005)
• Unifying theories of programming
  מאת: He, J, et al.
  יצא לאור: (1998)
• Linking Theories in Computing Science
  מאת: Hoare, C
  יצא לאור: (2015)
• Unifying Theories for Parallel Programming
  מאת: Hoare, C, et al.
  יצא לאור: (1997)
• Unified Theories of Programming
  מאת: Hoare, C
  יצא לאור: (2015)