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)