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)