Design and Proof of a Mail Service
Main Authors: | Hoare, C, Jifeng, H |
---|---|
מחברים אחרים: | Friesen, O |
פורמט: | ספר |
יצא לאור: |
1987
|
פריטים דומים
-
Algebraic Specification and Proof of Properties of a Mail Service
מאת: Hoare, C, et al.
יצא לאור: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
מאת: Jifeng, H, et al.
יצא לאור: (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)