Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science - Paulson, Lawrence C. (University of Cambridge) - Livros - Cambridge University Press - 9780521395601 - 26 de julho de 1990
Caso a capa e o título não sejam correspondentes, considere o título como correto

Paulson, Lawrence C. (University of Cambridge)
Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science

Preço
R$ 424,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 9 de out
Receba avisos sobre novos lançamentos de Paulson, Lawrence C. (University of Cambridge)

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

320 pages, bibliography, index

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de julho de 1990
ISBN13 9780521395601
Editoras Cambridge University Press
Páginas 320
Dimensões 187 × 247 × 19 mm   ·   574 g
Idioma Inglês  
Editor de séries Abramsky, S.
Editor de séries Aczel, P. H.
Editor de séries Bakker, J. W. De
Editor de séries Gurevich, Y.
Editor de séries Tucker, J. V.
Editor de séries Van Rijsbergen, C. J.

Mais da mesma editora

Ver tudo de Paulson, Lawrence C. (University of Cambridge)