Theorem Proving in Higher Order Logics

Boulton, Richard J.|Jackson, Paul B.

ISBN 10: 354042525X ISBN 13: 9783540425250
Verlag: Springer Berlin Heidelberg, 2001
Sprache: Englisch
Neu Zustand: New Softcover

Verkäufer moluna, Greven, Deutschland

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

AbeBooks-Verkäufer seit 9. Juli 2020

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Preis: EUR 48,37 Währung umrechnen
Kostenlos für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen