Design and Proof of a Mail Service
主要な著者: | Hoare, C, Jifeng, H |
---|---|
その他の著者: | Friesen, O |
フォーマット: | 図書 |
出版事項: |
1987
|
類似資料
-
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)