Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)

Henk Barendregt~Tobias Nipkow

ISBN 10: 0387580859 ISBN 13: 9780387580852

Verlag: Springer, 1994

Sprache: Englisch

Zustand: Good Softcover

F�r sp�ter vormerken

Verk�ufer Bookmans, Tucson, AZ, USA

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 30. April 2007

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Preis: EUR 93,38 W�hrung umrechnen

EUR 3,53 f�r den Versand innerhalb von/der USA Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

minor shelf wear Satisfaction 100% guaranteed. Bestandsnummer des Verk�ufers mon0002461486

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Types for Proofs and Programs: International...

Verlag: Springer

Erscheinungsdatum: 1994

Einband: Paperback

Zustand: Good

�ber diesen Titel

Inhaltsangabe:

Book by Barendregt Henk

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen:

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.

Versandinformationen:

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.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Types for Proofs and Programs: International Workshop...

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)

Henk Barendregt~Tobias Nipkow

Gebraucht - Softcover

Unternehmensdaten des Verk�ufers