Lectures on the logic of computer programming
Edición de la obra Lectures on the logic of computer programming
| Autor | Zohar Manna |
|---|---|
| Editorial | Society for Industrial and Applied Mathematics |
| Fecha de publicación | 1980 |
| Lugar | Philadelphia, Pa |
| Idioma | inglés |
| Páginas | 49 |
| ISBN-10 | 0898711649 |
| OCLC | 6473326 |
| LCCN | 79093153 |
| Serie | CBMS-NSF regional conference series in applied mathematics ; · 31 |
| Número de Cutter |