On the Refinement and Simulation of Data Types and Processes

類似資料

• Abstract data types and Processes
  著者:: Woodcock, J, 等
  出版事項: (2000)
• A comparison of refinement orderings and their associated simulation rules
  著者:: Bolton, C, 等
  出版事項: (2002)
• Using Z: Specification‚ Refinement‚ and Proof
  著者:: Woodcock, J, 等
  出版事項: (1996)
• Refinement in Object−Z and CSP
  著者:: Bolton, C, 等
  出版事項: (2002)
• Data Refinement Refined
  著者:: Hoare, C, 等
  出版事項: (1985)