Design and Proof of a Mail Service
Váldodahkkit: | Hoare, C, Jifeng, H |
---|---|
Eará dahkkit: | Friesen, O |
Materiálatiipa: | Girji |
Almmustuhtton: |
1987
|
Geahča maid
-
Algebraic Specification and Proof of Properties of a Mail Service
Dahkki: Hoare, C, et al.
Almmustuhtton: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
Dahkki: Jifeng, H, et al.
Almmustuhtton: (1987) -
Proof of a Program: FIND
Dahkki: Hoare, C
Almmustuhtton: (1971) -
Program Correctness Proofs
Dahkki: Hoare, C
Almmustuhtton: (1975) -
Design of a Mailing List System
Dahkki: Simon Webb
Almmustuhtton: (1983-02-01)