The way of z practical programming with formal methods

অনুরূপ উপাদানগুলি

• The way of Z: practical programming with formal methods
  অনুযায়ী: Jacky, Jonathan
  প্রকাশিত: (1997)
• The Way of Z: practical programming with formal methods
  অনুযায়ী: Jacky, Jonathan
  প্রকাশিত: (1997)
• Formal methods of program verification
  অনুযায়ী: Berg,H.K
• Formal methods of program verification
  অনুযায়ী: Berg,H.K
• Formal methods of program verification and specification
  অনুযায়ী: H K Berg, অন্যান্য
  প্রকাশিত: (1982)