Edinburgh LCF. A Mechanized Logic of Computation. Lecture Notes in Computer Science N∫ 78
| Precio: | 11 € | comprar |
| Autor: | GORDON, Michael and OTHERS | |
| Descripción: | VIII- 159 pgs 1979 Springer - Verlag Berlín Heidelberg New York 4º menor Rústica editorial | |
| Colección: | ||
| Descripción propia: | Firma anterior poseedor. Muy buen estado | |
| Referencia: | *W107536 | |
| ISBN 10: | 3540097244 | |
| ISBN 13: | ||