Design and Proof of a Mail Service

類似資料

• Algebraic Specification and Proof of Properties of a Mail Service
  著者:: Hoare, C, 等
  出版事項: (1986)
• Algebraic Specification and Proof of a Distributed Recovery Algorithm
  著者:: Jifeng, H, 等
  出版事項: (1987)
• Proof of a Program: FIND
  著者:: Hoare, C
  出版事項: (1971)
• Program Correctness Proofs
  著者:: Hoare, C
  出版事項: (1975)
• Design of a Mailing List System
  著者:: Simon Webb
  出版事項: (1983-02-01)