Design and Proof of a Mail Service
Główni autorzy: | Hoare, C, Jifeng, H |
---|---|
Kolejni autorzy: | Friesen, O |
Format: | Książka |
Wydane: |
1987
|
Podobne zapisy
-
Algebraic Specification and Proof of Properties of a Mail Service
od: Hoare, C, i wsp.
Wydane: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
od: Jifeng, H, i wsp.
Wydane: (1987) -
Proof of a Program: FIND
od: Hoare, C
Wydane: (1971) -
Program Correctness Proofs
od: Hoare, C
Wydane: (1975) -
Design of a Mailing List System
od: Simon Webb
Wydane: (1983-02-01)