Design and Proof of a Mail Service
Hlavní autoři: | Hoare, C, Jifeng, H |
---|---|
Další autoři: | Friesen, O |
Médium: | Kniha |
Vydáno: |
1987
|
Podobné jednotky
-
Algebraic Specification and Proof of Properties of a Mail Service
Autor: Hoare, C, a další
Vydáno: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
Autor: Jifeng, H, a další
Vydáno: (1987) -
Proof of a Program: FIND
Autor: Hoare, C
Vydáno: (1971) -
Program Correctness Proofs
Autor: Hoare, C
Vydáno: (1975) -
Design of a Mailing List System
Autor: Simon Webb
Vydáno: (1983-02-01)