Design and Proof of a Mail Service
Hoofdauteurs: | Hoare, C, Jifeng, H |
---|---|
Andere auteurs: | Friesen, O |
Formaat: | Boek |
Gepubliceerd in: |
1987
|
Gelijkaardige items
-
Algebraic Specification and Proof of Properties of a Mail Service
door: Hoare, C, et al.
Gepubliceerd in: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
door: Jifeng, H, et al.
Gepubliceerd in: (1987) -
Proof of a Program: FIND
door: Hoare, C
Gepubliceerd in: (1971) -
Program Correctness Proofs
door: Hoare, C
Gepubliceerd in: (1975) -
Design of a Mailing List System
door: Simon Webb
Gepubliceerd in: (1983-02-01)