The Logical Basis for Computer Programming
Deductive Systems (Addison-Wesley Series in Computer Science)
Edición de la obra The logical basis for computer programming
| Autor | Zohar Manna, Richard Waldinger, Johar Manna |
|---|---|
| Editorial | Addison-Wesley Pub (Sd) |
| Fecha de publicación | January 1990 |
| Idioma | inglés |
| Páginas | 650 |
| ISBN-13 | 9780201182613 |
| ISBN-10 | 0201182610 |
| Número de Cutter | M282l |