Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen. Dissertation.

Goerdt, Andreas

Verlag: Aachen, 1986
Gebraucht Zustand: gut Softcover

Verkäufer Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Deutschland

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

AbeBooks-Verkäufer seit 27. September 2011

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Preis: EUR 9,00 Währung umrechnen
EUR 3,50 für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen