Adapting Proofs-as-Programs - The Curry-Howard Protocol - Paperback - 2010

Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing

Adapting Proofs-as-Programs - The Curry-Howard Protocol - Paperback - 2010 - 1
Estado : Novo
Vendido por
RiaEnglishBooks
4,6 4 435 vendas
País de expedição : Reino Unido
Colocar uma questão ao vendedor
Resumo

Year of publication: 2010
Pagination: 420 pages, black & white illustrations
Format: Paperback
Serie: Monographs in Computer Science

195,34 €
Entrega pelo vendedor parceiro

Entrega Envio Contra Assinaturagratuito Entrega na morada indicada sem acompanhamento da entrega contra assinatura Entregue em 3 a 4 semanas

Adapting Proofs-as-Programs - The Curry-Howard Protocol - Paperback - 2010
Adapting Proofs-as-Programs - The Curry-Howard Protocol -...

Resumo


Year of publication: 2010
Pagination: 420 pages, black & white illustrations
Format: Paperback
Serie: Monographs in Computer Science
Publicidade

Avaliações dos nossos clientes

Adapting Proofs-as-Programs - The Curry-Howard Protocol - Paperback - 2010

Sê o primeiro a dar
a tua opinião sobre este produto

Características

Editora

Springer-Verlag New York Inc.

Dimensão

234 x 156 x 22

Peso

658

Tema

Mathematical logic

Edição

1st ed. Softcover of orig. ed. 2005

Origem

United States

EAN

9781441920140

Publicidade
Publicidade