Design and Proof of a Mail Service
Autores principales: | Hoare, C, Jifeng, H |
---|---|
Otros Autores: | Friesen, O |
Formato: | Libro |
Publicado: |
1987
|
Ejemplares similares
-
Algebraic Specification and Proof of Properties of a Mail Service
por: Hoare, C, et al.
Publicado: (1986) -
Algebraic Specification and Proof of a Distributed Recovery Algorithm
por: Jifeng, H, et al.
Publicado: (1987) -
Proof of a Program: FIND
por: Hoare, C
Publicado: (1971) -
Program Correctness Proofs
por: Hoare, C
Publicado: (1975) -
Proof of Correctness of Data Representations
por: Hoare, C
Publicado: (1972)