A programming logic
with an introduction to the PL/CV verifier
Edición de la obra A programming logic
| Autor | R. L. Constable |
|---|---|
| Editorial | Winthrop Publishers |
| Fecha de publicación | 1978 |
| Lugar | Cambridge, Mass |
| Idioma | inglés |
| Páginas | 389 |
| ISBN-10 | 0876267266 |
| OCLC | 4496073 |
| LCCN | 78010650 |
| Número de Cutter | C756p |