Design and Proof of a Mail Service
Autori principali: | Hoare, C, Jifeng, H |
---|---|
Altri autori: | Friesen, O |
Natura: | Libro |
Pubblicazione: |
1987
|
Documenti analoghi
Documenti analoghi
-
Algebraic Specification and Proof of Properties of a Mail Service
di: Hoare, C, et al.
Pubblicazione: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
di: Jifeng, H, et al.
Pubblicazione: (1987) -
Proof of a Program: FIND
di: Hoare, C
Pubblicazione: (1971) -
Program Correctness Proofs
di: Hoare, C
Pubblicazione: (1975) -
Design of a Mailing List System
di: Simon Webb
Pubblicazione: (1983-02-01)