
Conte aos seus amigos sobre este item:
Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 1979 edition
M. Gordon
Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 1979 edition
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 | English |