Programs are Predicates

समान संसाधन

• Programs are Predicates
  द्वारा: Hoare, C
  प्रकाशित: (1992)
• Programs are Predicates
  द्वारा: Hoare, C
  प्रकाशित: (1992)
• Programs as executable predicates
  द्वारा: Roscoe, A, और अन्य
  प्रकाशित: (1984)
• Programs as Executable Predicates
  द्वारा: Hoare, C, और अन्य
  प्रकाशित: (1984)
• Note about predicate transformers
  द्वारा: Hoare, C
  प्रकाशित: (2015)