Programs as executable predicates

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

• Programs as Executable Predicates
  অনুযায়ী: Hoare, C, অন্যান্য
  প্রকাশিত: (1984)
• Programs are Predicates
  অনুযায়ী: Hoare, C
  প্রকাশিত: (1985)
• Programs are Predicates
  অনুযায়ী: Hoare, C
  প্রকাশিত: (1992)
• Programs are Predicates
  অনুযায়ী: Hoare, C
  প্রকাশিত: (1992)
• Note about predicate transformers
  অনুযায়ী: Hoare, C
  প্রকাশিত: (2015)