Natural Transformations and Data Refinement

Lignende værker

• Data Refinement Refined: Resume
  af: He, J, et al.
  Udgivet: (1986)
• Prespecification in Data Refinement
  af: Hoare, C, et al.
  Udgivet: (1987)
• Data Refinement Refined
  af: Hoare, C, et al.
  Udgivet: (1985)
• Data Refinement in a Categorical Setting
  af: Hoare, C
  Udgivet: (1987)
• Data Refinement in a Categorical Setting
  af: Hoare, C
  Udgivet: (1987)