Design and Proof of a Mail Service
Autors principals: | Hoare, C, Jifeng, H |
---|---|
Altres autors: | Friesen, O |
Format: | Llibre |
Publicat: |
1987
|
Ítems similars
-
Algebraic Specification and Proof of Properties of a Mail Service
per: Hoare, C, et al.
Publicat: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
per: Jifeng, H, et al.
Publicat: (1987) -
Proof of a Program: FIND
per: Hoare, C
Publicat: (1971) -
Program Correctness Proofs
per: Hoare, C
Publicat: (1975) -
Design of a Mailing List System
per: Simon Webb
Publicat: (1983-02-01)