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)