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)