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)