Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)

L.J.M. Claesen & M.J.C. Gordon

ISBN 10: 0444898808 ISBN 13: 9780444898807
Verlag: North Holland Publishing, 1993
Sprache: Englisch
Zustand: Gebraucht - Wie neu Softcover

Verkauft von Salish Sea Books, Bellingham, WA, USA

AbeBooks-Verkäufer seit 15. Mai 2007

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Wie neu

Preis:
EUR 117,93
EUR 4,23 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen