Design and Proof of a Mail Service
Главные авторы: | Hoare, C, Jifeng, H |
---|---|
Другие авторы: | Friesen, O |
Формат: | |
Опубликовано: |
1987
|
Схожие документы
-
Algebraic Specification and Proof of Properties of a Mail Service
по: Hoare, C, и др.
Опубликовано: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
по: Jifeng, H, и др.
Опубликовано: (1987) -
Proof of a Program: FIND
по: Hoare, C
Опубликовано: (1971) -
Program Correctness Proofs
по: Hoare, C
Опубликовано: (1975) -
Design of a Mailing List System
по: Simon Webb
Опубликовано: (1983-02-01)