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)