Recomienda este artículo a tus amigos:
First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series Tamas Gergely Softcover reprint of the original 1st ed. 1991 edition
First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series
Tamas Gergely
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.
353 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 13 de noviembre de 2012 |
| ISBN13 | 9783642635038 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 353 |
| Dimensiones | 170 × 242 × 19 mm · 585 g |
| Lengua | Inglés |