The deductive foundations of computer programming
Edición de la obra The deductive foundations of computer programming
| Autor | Zohar Manna |
|---|---|
| Editorial | Addison-Wesley |
| Fecha de publicación | 1993 |
| Lugar | Wokingham |
| Idioma | inglés |
| Páginas | 717 |
| ISBN-10 | 0201548860 |
| Número de Cutter | M282d |