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)