Program construction and verification
Edición de la obra Program construction and verification
| Autor | Roland C. Backhouse |
|---|---|
| Editorial | Prentice-Hall International |
| Fecha de publicación | 1986 |
| Lugar | Englewood Cliffs, N.J |
| Idioma | inglés |
| Páginas | 281 |
| ISBN-10 | 0137291531, 0137291469 |
| OCLC | 12313124 |
| LCCN | 85016883 |
| Número de Cutter | B126p |