The deductive foundations of computer programming
a one-volume version of The logical basis for computer programming
Edición de la obra The deductive foundations of computer programming
| Autor | Zohar Manna |
|---|---|
| Editorial | Addison-Wesley Pub. Co. |
| Fecha de publicación | 1993 |
| Lugar | Reading, Mass |
| Idioma | inglés |
| Páginas | 717 |
| ISBN-10 | 0201548860 |
| LCCN | 90001235 |
| Número de Cutter | M282d |