Design and Proof of a Mail Service
Main Authors: | Hoare, C, Jifeng, H |
---|---|
其他作者: | Friesen, O |
格式: | 圖書 |
出版: |
1987
|
相似書籍
-
Algebraic Specification and Proof of Properties of a Mail Service
由: Hoare, C, et al.
出版: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
由: Jifeng, H, et al.
出版: (1987) -
Proof of a Program: FIND
由: Hoare, C
出版: (1971) -
Program Correctness Proofs
由: Hoare, C
出版: (1975) -
Proof of Correctness of Data Representations
由: Hoare, C
出版: (1972)