Jifeng, H., & Hoare, C. (1987). Algebraic Specification and Proof of a Distributed Recovery Algorithm.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Jifeng, H., ба C. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1987.
MLA -ийн эшлэл (9 дэх хэвлэлт)Jifeng, H., ба C. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1987.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.