Design and Proof of a Mail Service
Príomhchruthaitheoirí: | Hoare, C, Jifeng, H |
---|---|
Rannpháirtithe: | Friesen, O |
Formáid: | LEABHAR |
Foilsithe / Cruthaithe: |
1987
|
Míreanna comhchosúla
Míreanna comhchosúla
-
Algebraic Specification and Proof of Properties of a Mail Service
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
de réir: Jifeng, H, et al.
Foilsithe / Cruthaithe: (1987) -
Proof of a Program: FIND
de réir: Hoare, C
Foilsithe / Cruthaithe: (1971) -
Program Correctness Proofs
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975) -
Design of a Mailing List System
de réir: Simon Webb
Foilsithe / Cruthaithe: (1983-02-01)