Data Refinement in a Categorical Setting

समान संसाधन

• Data Refinement in a Categorical Setting
  द्वारा: Hoare, C
  प्रकाशित: (1987)
• Data Refinement Refined: Resume
  द्वारा: He, J, और अन्य
  प्रकाशित: (1986)
• Data Refinement Refined
  द्वारा: Hoare, C, और अन्य
  प्रकाशित: (1985)
• Categorical organisation of the ornament–refinement framework
  द्वारा: Ko, H, और अन्य
  प्रकाशित: (2013)
• Prespecification in Data Refinement
  द्वारा: Hoare, C, और अन्य
  प्रकाशित: (1987)