Proof of a Program: FIND

समान संसाधन

• Program Correctness Proofs
  द्वारा: Hoare, C
  प्रकाशित: (1975)
• Proof of a Structured Program: ‘The Sieve of Eratosthenes'
  द्वारा: Hoare, C
  प्रकाशित: (1972)
• Proof of a Recursive Program: Quicksort
  द्वारा: Foley, M, और अन्य
  प्रकाशित: (1971)
• Proof of Correctness of Data Representations
  द्वारा: Hoare, C
  प्रकाशित: (1972)
• Design and Proof of a Mail Service
  द्वारा: Hoare, C, और अन्य
  प्रकाशित: (1987)