Logic And Computation, Cambridge Tracts In Theoretical Computer Science
Lawrence C. Paulson
Resumo
Interactive Proof With Cambridge Lcf
Logic And Computation, Cambridge Tracts In Theoretical...
Resumo
Interactive Proof With Cambridge Lcf
Publicidade
Avaliações dos nossos clientes
Logic And Computation, Cambridge Tracts In Theoretical Computer Science
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Cambridge Univ Pr
- Idiomas
-
Inglês
- Número de páginas
-
320
- Encadernação
-
Capa Mole / Paperback
- Dimensão
-
247 x 174 x 17
- Comprimento
-
1,905 cm
- Largura
-
0,191 cm
- Altura
-
2,477 cm
- Peso
-
574 g
- Data de lançamento
-
09/01/1990
- Tema
-
Concessão de certificado de informática
- Origem
-
United Kingdom
- EAN
-
9780521395601
Publicidade
Publicidade