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 COMP) - Softcover
Inhaltsangabe
Book by Barendregt Henk
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer Verlag
- Erscheinungsdatum1994
- ISBN 10 0387580859
- ISBN 13 9780387580852
- EinbandTapa blanda
- SpracheEnglisch
- HerausgeberNipkow Tobias
Gebraucht kaufen
Zustand: Befriedigendminor shelf wear Satisfaction 100%...
Diesen Artikel anzeigen
EUR 94,57
EUR 3,52 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 108,85
EUR 3,52 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Types for Proofs and Programs: International Workshop...
Beispielbild für diese ISBN
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)
Anbieter: Bookmans, Tucson, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. minor shelf wear Satisfaction 100% guaranteed. Bestandsnummer des Verkäufers mon0002461486
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 383. Bestandsnummer des Verkäufers 2650386418
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 383. Bestandsnummer des Verkäufers 58157613
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 383. Bestandsnummer des Verkäufers 1850386424
Anzahl: 1 verfügbar