Conte aos seus amigos sobre este item:
Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science M. Gordon 1979 edition
Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science
M. Gordon
161 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 1 de dezembro de 1979 |
| ISBN13 | 9783540097242 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 161 |
| Dimensões | 155 × 235 × 9 mm · 249 g |
| Idioma | Inglês |
Presentes de Natal podem ser trocados até 31 de janeiro