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 118,77 Währung umrechnen
EUR 3,41 für den Versand innerhalb von/der USA Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen