Logic and Computation Paperback: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) por Paulson

Titulo del libro : Logic and Computation Paperback: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Fecha de lanzamiento : August 21, 2008
Autor : Paulson
Número de páginas : 320
ISBN : 9780521395601
Editor : Cambridge University Press
Logic and Computation Paperback: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) por Paulson

Logic and Computation Paperback: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) de Paulson está disponible para descargar en formato PDF y EPUB. Aquí puedes acceder a millones de libros. Todos los libros disponibles para leer en línea y descargar sin necesidad de pagar más.

Paulson con Logic and Computation Paperback: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

Book by Paulson Lawrence C

Los más vendidos Libros