' LOGIC AND COMPUTATION: INTERACTIVE PROOF WITH CAMBRIDGE LCF - LAWRENCE C. PAULSON, SAMSON ABRAMSKY , C. J. VAN RIJSBERGEN

Livraria da Física

TeleFONES
Loja virtual
Loja IFUSP : (11) 3815 8688
Editora
ESCRITÓRIO (11) 3459 4323 OU 3459 4324 ou 3459 4326
Seu carrinho
  • Busca avançada

Física

LOGIC AND COMPUTATION: INTERACTIVE PROOF WITH CAMBRIDGE LCF
LAWRENCE C. PAULSON, SAMSON ABRAMSKY , C. J. VAN RIJSBERGEN
Quantidade limitada no estoque. Envio imediato.
Editora Cambridge
Área INFORMÁTICA
Idioma Inglês
Número de páginas 320
Edição 2003
ISBN 0521395607
EAN 9780521395601
This study of techniques for formal theorem-proving focuses on the applications of Cambridge LCF (Logic for Computable Functions), a computer program for reasoning about computation.
Preço da tabela: R$ 106,18
Nosso preço: R$ 100,87
ATENÇÃO: Os pedidos deste catálogo estão sujeitos a alteração sem prévia comunicação. Os pedidos ficam condicionados a disponibilidade do nosso estoque e de nossos fornecedores (editoras e distribuidores). Esclarecemos aos consumidores que, por não sermos vendedores no atacado, pedidos que possuam mais de um item do mesmo produto, poderão sofrer alteração no prazo de entrega se a quantidade de produtos solicitados for maior do que a quantidade disponível em nosso estoque, para não ter dúvidas sobre quantidades, consulte antes por e-mail (vendas@livrariadafisica.com.br)