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
Gebraucht Zustand: Very Good Softcover

Verkäufer Salish Sea Books, Bellingham, WA, USA

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

AbeBooks-Verkäufer seit 15. Mai 2007

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Preis: EUR 112,98 Währung umrechnen
EUR 43,85 für den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen