Adapting Proofs-as-Programs - The Curry-Howard Protocol - Paperback - 2010
Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing
Resumo
Year of publication: 2010
Pagination: 420 pages, black & white illustrations
Format: Paperback
Serie: Monographs in Computer Science
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