The weakest prespecification
Edición de la obra The weakest prespecification
| Autor | C. A. R. Hoare |
|---|---|
| Editorial | Oxford University, Univ.Oxf.Computing Lab.,Programming Research Gp. |
| Fecha de publicación | 1985 |
| Lugar | Oxford |
| Idioma | inglés |
| Páginas | 60 |
| ISBN-10 | 0902928260 |
| Serie | Technical monograph -- PRG-44 |
| Número de Cutter | H679w |