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: |
Sistema de Bibliotecas UNAH
Número de Clasificación: |
001.642-C75 |
---|---|
Copia | Disponible |