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) -
Proof of Correctness of Data Representations
-н: Hoare, C
Хэвлэсэн: (1972)