Design and Proof of a Mail Service
Những tác giả chính: | Hoare, C, Jifeng, H |
---|---|
Tác giả khác: | Friesen, O |
Định dạng: | Sách |
Được phát hành: |
1987
|
Những quyển sách tương tự
-
Algebraic Specification and Proof of Properties of a Mail Service
Bằng: Hoare, C, et al.
Được phát hành: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
Bằng: Jifeng, H, et al.
Được phát hành: (1987) -
Proof of a Program: FIND
Bằng: Hoare, C
Được phát hành: (1971) -
Program Correctness Proofs
Bằng: Hoare, C
Được phát hành: (1975) -
Design of a Mailing List System
Bằng: Simon Webb
Được phát hành: (1983-02-01)