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

Goerdt, Andreas

Edité par Aachen, 1986
Ancien(s) ou d'occasion Etat : gut Couverture souple

Vendeur Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 27 septembre 2011

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture souple

Prix: EUR 9 Autre devise
EUR 8 expédition depuis Allemagne vers France Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier