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)