Foundation of program verification /

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

• Program construction and verification /
  অনুযায়ী: Backhouse, Roland C .
  প্রকাশিত: (1986)
• Program construction and verification
  অনুযায়ী: Backhouse, Roland C; Author
  প্রকাশিত: (1986)
• Program verification using Ada
  অনুযায়ী: McGettrick, Andrew D; Author
  প্রকাশিত: (1982)
• Verification of sequential and concurrent programs /
  অনুযায়ী: Gries, David .
  প্রকাশিত: (1991)
• Validation and Verification techniques for
  অনুযায়ী: Saxena , P, Dr