Proof of Correctness of Data Representations

類似資料

• Program Correctness Proofs
  著者:: Hoare, C
  出版事項: (1975)
• Proof of a Program: FIND
  著者:: Hoare, C
  出版事項: (1971)
• Proof of a Structured Program: ‘The Sieve of Eratosthenes'
  著者:: Hoare, C
  出版事項: (1972)
• Proof of a Recursive Program: Quicksort
  著者:: Foley, M, 等
  出版事項: (1971)
• Design and Proof of a Mail Service
  著者:: Hoare, C, 等
  出版事項: (1987)