Data Refinement Refined

類似資料

• Data Refinement Refined: Resume
  著者:: He, J, 等
  出版事項: (1986)
• Prespecification in Data Refinement
  著者:: Hoare, C, 等
  出版事項: (1987)
• Natural Transformations and Data Refinement
  著者:: Hoare, C, 等
  出版事項: (2015)
• Laws of programming
  著者:: Roscoe, A, 等
  出版事項: (1987)
• Data Refinement in a Categorical Setting
  著者:: Hoare, C
  出版事項: (1987)