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)