Frete Grátis
  • Google Plus

Types For Proofs And Programs (Cód: 6325990)

Stefano Berardi; Mario Coppo

SPRINGER VERLAG POD

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 422,60 em até 10x de R$ 42,26 sem juros
Cartão Saraiva R$ 401,47 (-5%) em até 1x no cartão ou em até 12x de R$ 35,22 sem juros
Grátis

Cartão Saraiva

Descrição

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for
Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers
included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9783540617808
Altura 23.40 cm
I.S.B.N. 9783540617808
Profundidade 1.66 cm
Referência 9783540617808
Ano da edição 1996
Idioma Inglês
Número de Páginas 312
Peso 0.44 Kg
Largura 15.60 cm
AutorStefano Berardi; Mario Coppo

Avaliações

Avaliação geral: 0

Você está revisando: Types For Proofs And Programs