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)