Titolo: Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)
Editore: Springer
Data di pubblicazione: 1994
Lingua: Inglese
ISBN 10: 0387580859
ISBN 13: 9780387580852
Rilegatura: Paperback
Condizione: Good

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

Visita la pagina della libreria

Informazioni sull?azienda del venditore

bookmans
9550 E Golf Links Rc, tucson, AZ, 85730, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, please contact us at your convenience. If you�ve changed your mind about a book that you�ve ordered, please use the [Ask bookseller a question] link to contact us and we'll respond within 2 business days.

Condizioni di spedizione

Orders usually ship out within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.