Types for Proofs and Programs

Nipkow Tobias Barendregt Henk

ISBN 10: 0387580859 ISBN 13: 9780387580852

Editore: Springer, 1994

Lingua: Inglese

Nuovi Condizione: New Brossura

Da Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle

Venditore AbeBooks dal 10 settembre 2024

Prezzo: EUR 117,96 Convertire valuta

EUR 7,95 per la spedizione da Germania a Italia Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Riguardo questo articolo

pp. 383. Codice articolo 1850386424

Dati bibliografici

Titolo: Types for Proofs and Programs

Casa editrice: Springer

Data di pubblicazione: 1994

Legatura: Brossura

Condizione: New

Descrizione articolo

Riassunto:

Book by Barendregt Henk

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

We carry a wide selection of books from South Asia, United States, UK.

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Condizioni di vendita:

Condizioni di spedizione:

Informazioni dettagliate sul venditore

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata