Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen. Dissertation.
Goerdt, Andreas
Verkäufer Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 27. September 2011
Gebraucht - Softcover
Anzahl: 1 verfügbar
In den Warenkorb legen