Data Refinement in a Categorical Setting

פריטים דומים

• Data Refinement in a Categorical Setting
  מאת: Hoare, C
  יצא לאור: (1987)
• Data Refinement Refined: Resume
  מאת: He, J, et al.
  יצא לאור: (1986)
• Data Refinement Refined
  מאת: Hoare, C, et al.
  יצא לאור: (1985)
• Categorical organisation of the ornament–refinement framework
  מאת: Ko, H, et al.
  יצא לאור: (2013)
• Prespecification in Data Refinement
  מאת: Hoare, C, et al.
  יצא לאור: (1987)