On the Refinement and Simulation of Data Types and Processes

相似書籍

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