A programming logic with an introduction to the PL/CV verifier
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Cambridge, Mass.
Winthrop
c1978
|
| Materias: |
| Notas: | Incluye índice |
|---|---|
| Descripción Física: | x, 389 p. 24 cm. |
| Bibliografía: | Bibliografía: p. 370-381 |
| ISBN: | 0-87626-726-6 |