Data Refinement Refined: Resume

類似資料

• Data Refinement Refined
  著者:: Hoare, C, 等
  出版事項: (1985)
• Prespecification in Data Refinement
  著者:: Hoare, C, 等
  出版事項: (1987)
• Natural Transformations and Data Refinement
  著者:: Hoare, C, 等
  出版事項: (2015)
• Data Refinement in a Categorical Setting
  著者:: Hoare, C
  出版事項: (1987)
• Data Refinement in a Categorical Setting
  著者:: Hoare, C
  出版事項: (1987)